Symbol: cabriolet_device_interrupt
arch/alpha/kernel/sys_cabriolet.c
149
cabriolet_device_interrupt(v);
arch/alpha/kernel/sys_cabriolet.c
323
.device_interrupt = cabriolet_device_interrupt,