// SPDX-License-Identifier: GPL-2.0-only
/*
 *  PS3 interrupt routines.
 *
 *  Copyright (C) 2006 Sony Computer Entertainment Inc.
 *  Copyright 2006 Sony Corp.
 */

#include <linux/kernel.h>
#include <linux/export.h>
#include <linux/irq.h>

#include <asm/machdep.h>
#include <asm/udbg.h>
#include <asm/lv1call.h>
#include <asm/smp.h>

#include "platform.h"

#if defined(DEBUG)
#define DBG udbg_printf
#define FAIL udbg_printf
#else
#define DBG pr_devel
#define FAIL pr_debug
#endif

/**
 * struct ps3_bmp - a per cpu irq status and mask bitmap structure
 * @status: 256 bit status bitmap indexed by plug
 * @unused_1: Alignment
 * @mask: 256 bit mask bitmap indexed by plug
 * @unused_2: Alignment
 *
 * The HV maintains per SMT thread mappings of HV outlet to HV plug on
 * behalf of the guest.  These mappings are implemented as 256 bit guest
 * supplied bitmaps indexed by plug number.  The addresses of the bitmaps
 * are registered with the HV through lv1_configure_irq_state_bitmap().
 * The HV requires that the 512 bits of status + mask not cross a page
 * boundary.  PS3_BMP_MINALIGN is used to define this minimal 64 byte
 * alignment.
 *
 * The HV supports 256 plugs per thread, assigned as {0..255}, for a total
 * of 512 plugs supported on a processor.  To simplify the logic this
 * implementation equates HV plug value to Linux virq value, constrains each
 * interrupt to have a system wide unique plug number, and limits the range
 * of the plug values to map into the first dword of the bitmaps.  This
 * gives a usable range of plug values of  {NUM_ISA_INTERRUPTS..63}.  Note
 * that there is no constraint on how many in this set an individual thread
 * can acquire.
 *
 * The mask is declared as unsigned long so we can use set/clear_bit on it.
 */

#define PS3_BMP_MINALIGN 64

struct ps3_bmp {
        struct {
                u64 status;
                u64 unused_1[3];
                unsigned long mask;
                u64 unused_2[3];
        };
};

/**
 * struct ps3_private - a per cpu data structure
 * @bmp: ps3_bmp structure
 * @bmp_lock: Synchronize access to bmp.
 * @ipi_debug_brk_mask: Mask for debug break IPIs
 * @ppe_id: HV logical_ppe_id
 * @thread_id: HV thread_id
 * @ipi_mask: Mask of IPI virqs
 */

struct ps3_private {
        struct ps3_bmp bmp __attribute__ ((aligned (PS3_BMP_MINALIGN)));
        spinlock_t bmp_lock;
        u64 ppe_id;
        u64 thread_id;
        unsigned long ipi_debug_brk_mask;
        unsigned long ipi_mask;
};

static DEFINE_PER_CPU(struct ps3_private, ps3_private);

/**
 * ps3_chip_mask - Set an interrupt mask bit in ps3_bmp.
 * @virq: The assigned Linux virq.
 *
 * Sets ps3_bmp.mask and calls lv1_did_update_interrupt_mask().
 */

static void ps3_chip_mask(struct irq_data *d)
{
        struct ps3_private *pd = irq_data_get_irq_chip_data(d);
        unsigned long flags;

        DBG("%s:%d: thread_id %llu, virq %d\n", __func__, __LINE__,
                pd->thread_id, d->irq);

        local_irq_save(flags);
        clear_bit(63 - d->irq, &pd->bmp.mask);
        lv1_did_update_interrupt_mask(pd->ppe_id, pd->thread_id);
        local_irq_restore(flags);
}

/**
 * ps3_chip_unmask - Clear an interrupt mask bit in ps3_bmp.
 * @virq: The assigned Linux virq.
 *
 * Clears ps3_bmp.mask and calls lv1_did_update_interrupt_mask().
 */

static void ps3_chip_unmask(struct irq_data *d)
{
        struct ps3_private *pd = irq_data_get_irq_chip_data(d);
        unsigned long flags;

        DBG("%s:%d: thread_id %llu, virq %d\n", __func__, __LINE__,
                pd->thread_id, d->irq);

        local_irq_save(flags);
        set_bit(63 - d->irq, &pd->bmp.mask);
        lv1_did_update_interrupt_mask(pd->ppe_id, pd->thread_id);
        local_irq_restore(flags);
}

/**
 * ps3_chip_eoi - HV end-of-interrupt.
 * @virq: The assigned Linux virq.
 *
 * Calls lv1_end_of_interrupt_ext().
 */

static void ps3_chip_eoi(struct irq_data *d)
{
        const struct ps3_private *pd = irq_data_get_irq_chip_data(d);

        /* non-IPIs are EOIed here. */

        if (!test_bit(63 - d->irq, &pd->ipi_mask))
                lv1_end_of_interrupt_ext(pd->ppe_id, pd->thread_id, d->irq);
}

/**
 * ps3_irq_chip - Represents the ps3_bmp as a Linux struct irq_chip.
 */

static struct irq_chip ps3_irq_chip = {
        .name = "ps3",
        .irq_mask = ps3_chip_mask,
        .irq_unmask = ps3_chip_unmask,
        .irq_eoi = ps3_chip_eoi,
};

/**
 * ps3_virq_setup - virq related setup.
 * @cpu: enum ps3_cpu_binding indicating the cpu the interrupt should be
 * serviced on.
 * @outlet: The HV outlet from the various create outlet routines.
 * @virq: The assigned Linux virq.
 *
 * Calls irq_create_mapping() to get a virq and sets the chip data to
 * ps3_private data.
 */

static int ps3_virq_setup(enum ps3_cpu_binding cpu, unsigned long outlet,
                          unsigned int *virq)
{
        int result;
        struct ps3_private *pd;

        /* This defines the default interrupt distribution policy. */

        if (cpu == PS3_BINDING_CPU_ANY)
                cpu = 0;

        pd = &per_cpu(ps3_private, cpu);

        *virq = irq_create_mapping(NULL, outlet);

        if (!*virq) {
                FAIL("%s:%d: irq_create_mapping failed: outlet %lu\n",
                        __func__, __LINE__, outlet);
                result = -ENOMEM;
                goto fail_create;
        }

        DBG("%s:%d: outlet %lu => cpu %u, virq %u\n", __func__, __LINE__,
                outlet, cpu, *virq);

        result = irq_set_chip_data(*virq, pd);

        if (result) {
                FAIL("%s:%d: irq_set_chip_data failed\n",
                        __func__, __LINE__);
                goto fail_set;
        }

        ps3_chip_mask(irq_get_irq_data(*virq));

        return result;

fail_set:
        irq_dispose_mapping(*virq);
fail_create:
        return result;
}

/**
 * ps3_virq_destroy - virq related teardown.
 * @virq: The assigned Linux virq.
 *
 * Clears chip data and calls irq_dispose_mapping() for the virq.
 */

static int ps3_virq_destroy(unsigned int virq)
{
        const struct ps3_private *pd = irq_get_chip_data(virq);

        DBG("%s:%d: ppe_id %llu, thread_id %llu, virq %u\n", __func__,
                __LINE__, pd->ppe_id, pd->thread_id, virq);

        irq_set_chip_data(virq, NULL);
        irq_dispose_mapping(virq);

        DBG("%s:%d <-\n", __func__, __LINE__);
        return 0;
}

/**
 * ps3_irq_plug_setup - Generic outlet and virq related setup.
 * @cpu: enum ps3_cpu_binding indicating the cpu the interrupt should be
 * serviced on.
 * @outlet: The HV outlet from the various create outlet routines.
 * @virq: The assigned Linux virq.
 *
 * Sets up virq and connects the irq plug.
 */

int ps3_irq_plug_setup(enum ps3_cpu_binding cpu, unsigned long outlet,
        unsigned int *virq)
{
        int result;
        struct ps3_private *pd;

        result = ps3_virq_setup(cpu, outlet, virq);

        if (result) {
                FAIL("%s:%d: ps3_virq_setup failed\n", __func__, __LINE__);
                goto fail_setup;
        }

        pd = irq_get_chip_data(*virq);

        /* Binds outlet to cpu + virq. */

        result = lv1_connect_irq_plug_ext(pd->ppe_id, pd->thread_id, *virq,
                outlet, 0);

        if (result) {
                FAIL("%s:%d: lv1_connect_irq_plug_ext failed: %s\n",
                __func__, __LINE__, ps3_result(result));
                result = -EPERM;
                goto fail_connect;
        }

        return result;

fail_connect:
        ps3_virq_destroy(*virq);
fail_setup:
        return result;
}
EXPORT_SYMBOL_GPL(ps3_irq_plug_setup);

/**
 * ps3_irq_plug_destroy - Generic outlet and virq related teardown.
 * @virq: The assigned Linux virq.
 *
 * Disconnects the irq plug and tears down virq.
 * Do not call for system bus event interrupts setup with
 * ps3_sb_event_receive_port_setup().
 */

int ps3_irq_plug_destroy(unsigned int virq)
{
        int result;
        const struct ps3_private *pd = irq_get_chip_data(virq);

        DBG("%s:%d: ppe_id %llu, thread_id %llu, virq %u\n", __func__,
                __LINE__, pd->ppe_id, pd->thread_id, virq);

        ps3_chip_mask(irq_get_irq_data(virq));

        result = lv1_disconnect_irq_plug_ext(pd->ppe_id, pd->thread_id, virq);

        if (result)
                FAIL("%s:%d: lv1_disconnect_irq_plug_ext failed: %s\n",
                __func__, __LINE__, ps3_result(result));

        ps3_virq_destroy(virq);

        return result;
}
EXPORT_SYMBOL_GPL(ps3_irq_plug_destroy);

/**
 * ps3_event_receive_port_setup - Setup an event receive port.
 * @cpu: enum ps3_cpu_binding indicating the cpu the interrupt should be
 * serviced on.
 * @virq: The assigned Linux virq.
 *
 * The virq can be used with lv1_connect_interrupt_event_receive_port() to
 * arrange to receive interrupts from system-bus devices, or with
 * ps3_send_event_locally() to signal events.
 */

int ps3_event_receive_port_setup(enum ps3_cpu_binding cpu, unsigned int *virq)
{
        int result;
        u64 outlet;

        result = lv1_construct_event_receive_port(&outlet);

        if (result) {
                FAIL("%s:%d: lv1_construct_event_receive_port failed: %s\n",
                        __func__, __LINE__, ps3_result(result));
                *virq = 0;
                return result;
        }

        result = ps3_irq_plug_setup(cpu, outlet, virq);
        BUG_ON(result);

        return result;
}
EXPORT_SYMBOL_GPL(ps3_event_receive_port_setup);

/**
 * ps3_event_receive_port_destroy - Destroy an event receive port.
 * @virq: The assigned Linux virq.
 *
 * Since ps3_event_receive_port_destroy destroys the receive port outlet,
 * SB devices need to call disconnect_interrupt_event_receive_port() before
 * this.
 */

int ps3_event_receive_port_destroy(unsigned int virq)
{
        int result;

        DBG(" -> %s:%d virq %u\n", __func__, __LINE__, virq);

        ps3_chip_mask(irq_get_irq_data(virq));

        result = lv1_destruct_event_receive_port(virq_to_hw(virq));

        if (result)
                FAIL("%s:%d: lv1_destruct_event_receive_port failed: %s\n",
                        __func__, __LINE__, ps3_result(result));

        /*
         * Don't call ps3_virq_destroy() here since ps3_smp_cleanup_cpu()
         * calls from interrupt context (smp_call_function) when kexecing.
         */

        DBG(" <- %s:%d\n", __func__, __LINE__);
        return result;
}

int ps3_send_event_locally(unsigned int virq)
{
        return lv1_send_event_locally(virq_to_hw(virq));
}

/**
 * ps3_sb_event_receive_port_setup - Setup a system bus event receive port.
 * @cpu: enum ps3_cpu_binding indicating the cpu the interrupt should be
 * serviced on.
 * @dev: The system bus device instance.
 * @virq: The assigned Linux virq.
 *
 * An event irq represents a virtual device interrupt.  The interrupt_id
 * coresponds to the software interrupt number.
 */

int ps3_sb_event_receive_port_setup(struct ps3_system_bus_device *dev,
        enum ps3_cpu_binding cpu, unsigned int *virq)
{
        /* this should go in system-bus.c */

        int result;

        result = ps3_event_receive_port_setup(cpu, virq);

        if (result)
                return result;

        result = lv1_connect_interrupt_event_receive_port(dev->bus_id,
                dev->dev_id, virq_to_hw(*virq), dev->interrupt_id);

        if (result) {
                FAIL("%s:%d: lv1_connect_interrupt_event_receive_port"
                        " failed: %s\n", __func__, __LINE__,
                        ps3_result(result));
                ps3_event_receive_port_destroy(*virq);
                *virq = 0;
                return result;
        }

        DBG("%s:%d: interrupt_id %u, virq %u\n", __func__, __LINE__,
                dev->interrupt_id, *virq);

        return 0;
}
EXPORT_SYMBOL(ps3_sb_event_receive_port_setup);

int ps3_sb_event_receive_port_destroy(struct ps3_system_bus_device *dev,
        unsigned int virq)
{
        /* this should go in system-bus.c */

        int result;

        DBG(" -> %s:%d: interrupt_id %u, virq %u\n", __func__, __LINE__,
                dev->interrupt_id, virq);

        result = lv1_disconnect_interrupt_event_receive_port(dev->bus_id,
                dev->dev_id, virq_to_hw(virq), dev->interrupt_id);

        if (result)
                FAIL("%s:%d: lv1_disconnect_interrupt_event_receive_port"
                        " failed: %s\n", __func__, __LINE__,
                        ps3_result(result));

        result = ps3_event_receive_port_destroy(virq);
        BUG_ON(result);

        /*
         * ps3_event_receive_port_destroy() destroys the IRQ plug,
         * so don't call ps3_irq_plug_destroy() here.
         */

        result = ps3_virq_destroy(virq);
        BUG_ON(result);

        DBG(" <- %s:%d\n", __func__, __LINE__);
        return result;
}
EXPORT_SYMBOL(ps3_sb_event_receive_port_destroy);

/**
 * ps3_io_irq_setup - Setup a system bus io irq.
 * @cpu: enum ps3_cpu_binding indicating the cpu the interrupt should be
 * serviced on.
 * @interrupt_id: The device interrupt id read from the system repository.
 * @virq: The assigned Linux virq.
 *
 * An io irq represents a non-virtualized device interrupt.  interrupt_id
 * coresponds to the interrupt number of the interrupt controller.
 */

int ps3_io_irq_setup(enum ps3_cpu_binding cpu, unsigned int interrupt_id,
        unsigned int *virq)
{
        int result;
        u64 outlet;

        result = lv1_construct_io_irq_outlet(interrupt_id, &outlet);

        if (result) {
                FAIL("%s:%d: lv1_construct_io_irq_outlet failed: %s\n",
                        __func__, __LINE__, ps3_result(result));
                return result;
        }

        result = ps3_irq_plug_setup(cpu, outlet, virq);
        BUG_ON(result);

        return result;
}
EXPORT_SYMBOL_GPL(ps3_io_irq_setup);

int ps3_io_irq_destroy(unsigned int virq)
{
        int result;
        unsigned long outlet = virq_to_hw(virq);

        ps3_chip_mask(irq_get_irq_data(virq));

        /*
         * lv1_destruct_io_irq_outlet() will destroy the IRQ plug,
         * so call ps3_irq_plug_destroy() first.
         */

        result = ps3_irq_plug_destroy(virq);
        BUG_ON(result);

        result = lv1_destruct_io_irq_outlet(outlet);

        if (result)
                FAIL("%s:%d: lv1_destruct_io_irq_outlet failed: %s\n",
                        __func__, __LINE__, ps3_result(result));

        return result;
}
EXPORT_SYMBOL_GPL(ps3_io_irq_destroy);

/**
 * ps3_vuart_irq_setup - Setup the system virtual uart virq.
 * @cpu: enum ps3_cpu_binding indicating the cpu the interrupt should be
 * serviced on.
 * @virt_addr_bmp: The caller supplied virtual uart interrupt bitmap.
 * @virq: The assigned Linux virq.
 *
 * The system supports only a single virtual uart, so multiple calls without
 * freeing the interrupt will return a wrong state error.
 */

int ps3_vuart_irq_setup(enum ps3_cpu_binding cpu, void* virt_addr_bmp,
        unsigned int *virq)
{
        int result;
        u64 outlet;
        u64 lpar_addr;

        BUG_ON(!is_kernel_addr((u64)virt_addr_bmp));

        lpar_addr = ps3_mm_phys_to_lpar(__pa(virt_addr_bmp));

        result = lv1_configure_virtual_uart_irq(lpar_addr, &outlet);

        if (result) {
                FAIL("%s:%d: lv1_configure_virtual_uart_irq failed: %s\n",
                        __func__, __LINE__, ps3_result(result));
                return result;
        }

        result = ps3_irq_plug_setup(cpu, outlet, virq);
        BUG_ON(result);

        return result;
}
EXPORT_SYMBOL_GPL(ps3_vuart_irq_setup);

int ps3_vuart_irq_destroy(unsigned int virq)
{
        int result;

        ps3_chip_mask(irq_get_irq_data(virq));
        result = lv1_deconfigure_virtual_uart_irq();

        if (result) {
                FAIL("%s:%d: lv1_configure_virtual_uart_irq failed: %s\n",
                        __func__, __LINE__, ps3_result(result));
                return result;
        }

        result = ps3_irq_plug_destroy(virq);
        BUG_ON(result);

        return result;
}
EXPORT_SYMBOL_GPL(ps3_vuart_irq_destroy);

/**
 * ps3_spe_irq_setup - Setup an spe virq.
 * @cpu: enum ps3_cpu_binding indicating the cpu the interrupt should be
 * serviced on.
 * @spe_id: The spe_id returned from lv1_construct_logical_spe().
 * @class: The spe interrupt class {0,1,2}.
 * @virq: The assigned Linux virq.
 *
 */

int ps3_spe_irq_setup(enum ps3_cpu_binding cpu, unsigned long spe_id,
        unsigned int class, unsigned int *virq)
{
        int result;
        u64 outlet;

        BUG_ON(class > 2);

        result = lv1_get_spe_irq_outlet(spe_id, class, &outlet);

        if (result) {
                FAIL("%s:%d: lv1_get_spe_irq_outlet failed: %s\n",
                        __func__, __LINE__, ps3_result(result));
                return result;
        }

        result = ps3_irq_plug_setup(cpu, outlet, virq);
        BUG_ON(result);

        return result;
}

int ps3_spe_irq_destroy(unsigned int virq)
{
        int result;

        ps3_chip_mask(irq_get_irq_data(virq));

        result = ps3_irq_plug_destroy(virq);
        BUG_ON(result);

        return result;
}


#define PS3_INVALID_OUTLET ((irq_hw_number_t)-1)
#define PS3_PLUG_MAX 63

#if defined(DEBUG)
static void _dump_64_bmp(const char *header, const u64 *p, unsigned cpu,
        const char* func, int line)
{
        pr_debug("%s:%d: %s %u {%04llx_%04llx_%04llx_%04llx}\n",
                func, line, header, cpu,
                *p >> 48, (*p >> 32) & 0xffff, (*p >> 16) & 0xffff,
                *p & 0xffff);
}

static void __maybe_unused _dump_256_bmp(const char *header,
        const u64 *p, unsigned cpu, const char* func, int line)
{
        pr_debug("%s:%d: %s %u {%016llx:%016llx:%016llx:%016llx}\n",
                func, line, header, cpu, p[0], p[1], p[2], p[3]);
}

#define dump_bmp(_x) _dump_bmp(_x, __func__, __LINE__)
static void _dump_bmp(struct ps3_private* pd, const char* func, int line)
{
        unsigned long flags;

        spin_lock_irqsave(&pd->bmp_lock, flags);
        _dump_64_bmp("stat", &pd->bmp.status, pd->thread_id, func, line);
        _dump_64_bmp("mask", (u64*)&pd->bmp.mask, pd->thread_id, func, line);
        spin_unlock_irqrestore(&pd->bmp_lock, flags);
}

#define dump_mask(_x) _dump_mask(_x, __func__, __LINE__)
static void __maybe_unused _dump_mask(struct ps3_private *pd,
        const char* func, int line)
{
        unsigned long flags;

        spin_lock_irqsave(&pd->bmp_lock, flags);
        _dump_64_bmp("mask", (u64*)&pd->bmp.mask, pd->thread_id, func, line);
        spin_unlock_irqrestore(&pd->bmp_lock, flags);
}
#else
static void dump_bmp(struct ps3_private* pd) {};
#endif /* defined(DEBUG) */

static int ps3_host_map(struct irq_domain *h, unsigned int virq,
        irq_hw_number_t hwirq)
{
        DBG("%s:%d: hwirq %lu, virq %u\n", __func__, __LINE__, hwirq,
                virq);

        irq_set_chip_and_handler(virq, &ps3_irq_chip, handle_fasteoi_irq);

        return 0;
}

static int ps3_host_match(struct irq_domain *h, struct device_node *np,
                          enum irq_domain_bus_token bus_token)
{
        /* Match all */
        return 1;
}

static const struct irq_domain_ops ps3_host_ops = {
        .map = ps3_host_map,
        .match = ps3_host_match,
};

void __init ps3_register_ipi_debug_brk(unsigned int cpu, unsigned int virq)
{
        struct ps3_private *pd = &per_cpu(ps3_private, cpu);

        set_bit(63 - virq, &pd->ipi_debug_brk_mask);

        DBG("%s:%d: cpu %u, virq %u, mask %lxh\n", __func__, __LINE__,
                cpu, virq, pd->ipi_debug_brk_mask);
}

void __init ps3_register_ipi_irq(unsigned int cpu, unsigned int virq)
{
        struct ps3_private *pd = &per_cpu(ps3_private, cpu);

        set_bit(63 - virq, &pd->ipi_mask);

        DBG("%s:%d: cpu %u, virq %u, ipi_mask %lxh\n", __func__, __LINE__,
                cpu, virq, pd->ipi_mask);
}

static unsigned int ps3_get_irq(void)
{
        struct ps3_private *pd = this_cpu_ptr(&ps3_private);
        u64 x = (pd->bmp.status & pd->bmp.mask);
        unsigned int plug;

        /* check for ipi break first to stop this cpu ASAP */

        if (x & pd->ipi_debug_brk_mask)
                x &= pd->ipi_debug_brk_mask;

        asm volatile("cntlzd %0,%1" : "=r" (plug) : "r" (x));
        plug &= 0x3f;

        if (unlikely(!plug)) {
                DBG("%s:%d: no plug found: thread_id %llu\n", __func__,
                        __LINE__, pd->thread_id);
                dump_bmp(&per_cpu(ps3_private, 0));
                dump_bmp(&per_cpu(ps3_private, 1));
                return 0;
        }

#if defined(DEBUG)
        if (unlikely(plug < NUM_ISA_INTERRUPTS || plug > PS3_PLUG_MAX)) {
                dump_bmp(&per_cpu(ps3_private, 0));
                dump_bmp(&per_cpu(ps3_private, 1));
                BUG();
        }
#endif

        /* IPIs are EOIed here. */

        if (test_bit(63 - plug, &pd->ipi_mask))
                lv1_end_of_interrupt_ext(pd->ppe_id, pd->thread_id, plug);

        return plug;
}

void __init ps3_init_IRQ(void)
{
        int result;
        unsigned cpu;
        struct irq_domain *host;

        host = irq_domain_add_nomap(NULL, PS3_PLUG_MAX + 1, &ps3_host_ops, NULL);
        irq_set_default_host(host);

        for_each_possible_cpu(cpu) {
                struct ps3_private *pd = &per_cpu(ps3_private, cpu);

                lv1_get_logical_ppe_id(&pd->ppe_id);
                pd->thread_id = get_hard_smp_processor_id(cpu);
                spin_lock_init(&pd->bmp_lock);

                DBG("%s:%d: ppe_id %llu, thread_id %llu, bmp %lxh\n",
                        __func__, __LINE__, pd->ppe_id, pd->thread_id,
                        ps3_mm_phys_to_lpar(__pa(&pd->bmp)));

                result = lv1_configure_irq_state_bitmap(pd->ppe_id,
                        pd->thread_id, ps3_mm_phys_to_lpar(__pa(&pd->bmp)));

                if (result)
                        FAIL("%s:%d: lv1_configure_irq_state_bitmap failed:"
                                " %s\n", __func__, __LINE__,
                                ps3_result(result));
        }

        ppc_md.get_irq = ps3_get_irq;
}

void ps3_shutdown_IRQ(int cpu)
{
        int result;
        u64 ppe_id;
        u64 thread_id = get_hard_smp_processor_id(cpu);

        lv1_get_logical_ppe_id(&ppe_id);
        result = lv1_configure_irq_state_bitmap(ppe_id, thread_id, 0);

        DBG("%s:%d: lv1_configure_irq_state_bitmap (%llu:%llu/%d) %s\n", __func__,
                __LINE__, ppe_id, thread_id, cpu, ps3_result(result));
}