interrupt_mask 137 bsp/hal/x86/arch/trap.c interrupt_mask(0); interrupt_mask 124 sys/include/hal.h void interrupt_mask(int); interrupt_mask 132 sys/kern/irq.c interrupt_mask(irq->vector);