MASKED             71 lapic.c          lapicw(LINT0, MASKED);
MASKED             72 lapic.c          lapicw(LINT1, MASKED);
MASKED             77 lapic.c            lapicw(PCINT, MASKED);