XSPURIOUSINT_OFFSET
setidt_global(XSPURIOUSINT_OFFSET, Xspuriousint,
if ((XSPURIOUSINT_OFFSET & 0x0F) != 0x0F)
panic("bad XSPURIOUSINT_OFFSET: 0x%08x", XSPURIOUSINT_OFFSET);
temp |= XSPURIOUSINT_OFFSET;