ps3_send_event_locally  183 arch/powerpc/include/asm/ps3.h int ps3_send_event_locally(unsigned int virq);
ps3_send_event_locally   41 arch/powerpc/platforms/ps3/smp.c 	result = ps3_send_event_locally(virq);