check_disable_interrupts_de
extern int check_disable_interrupts_de(device_t dev);
return check_disable_interrupts_de(dev);
int check_disable_interrupts_de(device_t dev);