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,