180 static int ps3_virq_setup(enum ps3_cpu_binding cpu, unsigned long outlet,  in ps3_virq_setup()
254 int ps3_irq_plug_setup(enum ps3_cpu_binding cpu, unsigned long outlet,  in ps3_irq_plug_setup()
332 int ps3_event_receive_port_setup(enum ps3_cpu_binding cpu, unsigned int *virq)  in ps3_event_receive_port_setup()
402 	enum ps3_cpu_binding cpu, unsigned int *virq)  in ps3_sb_event_receive_port_setup()
477 int ps3_io_irq_setup(enum ps3_cpu_binding cpu, unsigned int interrupt_id,  in ps3_io_irq_setup()
534 int ps3_vuart_irq_setup(enum ps3_cpu_binding cpu, void* virt_addr_bmp,  in ps3_vuart_irq_setup()
590 int ps3_spe_irq_setup(enum ps3_cpu_binding cpu, unsigned long spe_id,  in ps3_spe_irq_setup()
629 static void _dump_64_bmp(const char *header, const u64 *p, unsigned cpu,  in _dump_64_bmp()
639 	const u64 *p, unsigned cpu, const char* func, int line)  in _dump_256_bmp()
692 void __init ps3_register_ipi_debug_brk(unsigned int cpu, unsigned int virq)  in ps3_register_ipi_debug_brk()
702 void __init ps3_register_ipi_irq(unsigned int cpu, unsigned int virq)  in ps3_register_ipi_irq()
753 	unsigned cpu;  in ps3_init_IRQ()  local
782 void ps3_shutdown_IRQ(int cpu)  in ps3_shutdown_IRQ()