pyxis_device_interrupt
extern void pyxis_device_interrupt(unsigned long);
.device_interrupt = pyxis_device_interrupt,
.device_interrupt = pyxis_device_interrupt,
.device_interrupt = pyxis_device_interrupt,