check_disable_interrupts_le
int check_disable_interrupts_le(device_t dev);
return check_disable_interrupts_le(dev);