APIC_VECTYPE_LAPIC_LVT
APIC_VECTYPE_LAPIC_LVT, 0, lapic_readreg(lvtreg))
APIC_VECTYPE_LAPIC_LVT, 0, lapic_readreg(LAPIC_LVT_LINT0));
APIC_VECTYPE_LAPIC_LVT, 0, lapic_readreg(LAPIC_LVT_LINT1));