cabriolet_device_interrupt  152 arch/alpha/kernel/sys_cabriolet.c 	cabriolet_device_interrupt(v);
cabriolet_device_interrupt  332 arch/alpha/kernel/sys_cabriolet.c 	.device_interrupt	= cabriolet_device_interrupt,
cabriolet_device_interrupt  358 arch/alpha/kernel/sys_cabriolet.c 	.device_interrupt	= cabriolet_device_interrupt,
cabriolet_device_interrupt  383 arch/alpha/kernel/sys_cabriolet.c 	.device_interrupt	= cabriolet_device_interrupt,
cabriolet_device_interrupt  408 arch/alpha/kernel/sys_cabriolet.c 	.device_interrupt	= cabriolet_device_interrupt,