void osenv_intr_disable(void);
Component OS, Nonblocking
Disable further entry into the calling driver set through an interrupt handler. This can be implemented either by directly disabling interrupts at the interrupt controller or CPU, or using some software scheme.XXX Merely needs to prevent intrs from being dispatched to the driver set. Drivers may see spurious interrupts if they briefly cause interrupts while disabled.
XXX Timing-critical sections need interrupts actually disabled.