reenable_interrupts_de
extern void reenable_interrupts_de(device_t dev);
reenable_interrupts_de(dev);
void reenable_interrupts_de(device_t dev);