elvt_mode
lapic_write32(LAPIC_EXT_LVT0, elvt_mode(la, APIC_ELVT_IBS,
elvt_mode(la, i, lapic_read32(LAPIC_EXT_LVT0 + i)));