activate_IRQ_rcvd  482 drivers/misc/sgi-xp/xpc.h 	u32 activate_IRQ_rcvd;	/* IRQs since activation */
activate_IRQ_rcvd  923 drivers/misc/sgi-xp/xpc_main.c 		part->activate_IRQ_rcvd = 0;