/* See COPYRIGHT for copyright information. */ #include "types.h" #include "x86.h" #include "defs.h" // Current IRQ mask. // Initial IRQ mask has interrupt 2 enabled (for slave 8259A). uint16_t irq_mask_8259A = 0xFFFF & ~(1<> 8)); cprintf("enabled interrupts:"); for (i = 0; i < 16; i++) if (~mask & (1<