LAPIC_EXT_LVT0
value = lapic_read32(LAPIC_EXT_LVT0 + APIC_ELVT_MCA);
.lvt_reg = LAPIC_EXT_LVT0,
lapic_read32(LAPIC_EXT_LVT0 + i));
lapic_write32(LAPIC_EXT_LVT0 + i,
elvt_mode(la, i, lapic_read32(LAPIC_EXT_LVT0 + i)));
value = lapic_read32(LAPIC_EXT_LVT0);
lapic_write32(LAPIC_EXT_LVT0, value);
lapic_write32(LAPIC_EXT_LVT0, elvt_mode(la, APIC_ELVT_IBS,
lapic_read32(LAPIC_EXT_LVT0)));