pyxis_device_interrupt   22 arch/alpha/kernel/irq_impl.h extern void pyxis_device_interrupt(unsigned long);
pyxis_device_interrupt  283 arch/alpha/kernel/sys_miata.c 	.device_interrupt	= pyxis_device_interrupt,
pyxis_device_interrupt  230 arch/alpha/kernel/sys_ruffian.c 	.device_interrupt	= pyxis_device_interrupt,
pyxis_device_interrupt  169 arch/alpha/kernel/sys_sx164.c 	.device_interrupt	= pyxis_device_interrupt,