process_activate_IRQ_rcvd 525 drivers/misc/sgi-xp/xpc.h void (*process_activate_IRQ_rcvd) (void); process_activate_IRQ_rcvd 289 drivers/misc/sgi-xp/xpc_main.c xpc_arch_ops.process_activate_IRQ_rcvd(); process_activate_IRQ_rcvd 1686 drivers/misc/sgi-xp/xpc_uv.c .process_activate_IRQ_rcvd = xpc_process_activate_IRQ_rcvd_uv,