168 static int ps3_virq_setup(enum ps3_cpu_binding cpu, unsigned long outlet,  in ps3_virq_setup()
242 int ps3_irq_plug_setup(enum ps3_cpu_binding cpu, unsigned long outlet,  in ps3_irq_plug_setup()
320 int ps3_event_receive_port_setup(enum ps3_cpu_binding cpu, unsigned int *virq)  in ps3_event_receive_port_setup()
390 	enum ps3_cpu_binding cpu, unsigned int *virq)  in ps3_sb_event_receive_port_setup()
465 int ps3_io_irq_setup(enum ps3_cpu_binding cpu, unsigned int interrupt_id,  in ps3_io_irq_setup()
522 int ps3_vuart_irq_setup(enum ps3_cpu_binding cpu, void* virt_addr_bmp,  in ps3_vuart_irq_setup()
578 int ps3_spe_irq_setup(enum ps3_cpu_binding cpu, unsigned long spe_id,  in ps3_spe_irq_setup()
617 static void _dump_64_bmp(const char *header, const u64 *p, unsigned cpu,  in _dump_64_bmp()
627 	const u64 *p, unsigned cpu, const char* func, int line)  in _dump_256_bmp()
681 void __init ps3_register_ipi_debug_brk(unsigned int cpu, unsigned int virq)  in ps3_register_ipi_debug_brk()
691 void __init ps3_register_ipi_irq(unsigned int cpu, unsigned int virq)  in ps3_register_ipi_irq()
742 	unsigned cpu;  in ps3_init_IRQ()  local
771 void ps3_shutdown_IRQ(int cpu)  in ps3_shutdown_IRQ()