MASKED             72 lapic.c          lapicw(LINT0, MASKED);
MASKED             73 lapic.c          lapicw(LINT1, MASKED);
MASKED             78 lapic.c            lapicw(PCINT, MASKED);