APIC_LVTT
v = apic_read(APIC_LVTT);
apic_write(APIC_LVTT, v | APIC_LVT_MASKED);
apic_write(APIC_LVTT, APIC_LVT_MASKED);
value = apic_read(APIC_LVTT);
apic_write(APIC_LVTT, value);
apic_pm_state.apic_lvtt = apic_read(APIC_LVTT);
apic_write(APIC_LVTT, apic_pm_state.apic_lvtt);
apic_write(APIC_LVTT, lvtt_value);
v = apic_read(APIC_LVTT);
apic_write(APIC_LVTT, v);
v = apic_read(APIC_LVTT);
case APIC_LVTT:
case APIC_LVTT:
APIC_REG_MASK(APIC_LVTT) |
u32 timer_mode = kvm_lapic_get_reg(apic, APIC_LVTT) &
reg = kvm_lapic_get_reg(apic, APIC_LVTT);
kvm_apic_local_deliver(apic, APIC_LVTT);
if (reg < APIC_LVTT || reg > APIC_LVTERR)
(reg - APIC_LVTT) >> 4, KVM_APIC_MAX_NR_LVT_ENTRIES);
case APIC_LVTT:
kvm_lapic_set_reg(apic, APIC_LVTT, val);
if (apic_enabled(apic) && apic_lvt_enabled(apic, APIC_LVTT))
#define APIC_LVTx(x) ((x) == LVT_CMCI ? APIC_LVTCMCI : APIC_LVTT + 0x10 * (x))
case APIC_LVTT:
if (pi_test_pir(kvm_lapic_get_reg(vcpu->arch.apic, APIC_LVTT) &
case X2APIC_MSR(APIC_LVTT):
apic_write_reg(APIC_LVTT, APIC_LVT_TIMER_ONESHOT | APIC_LVT_MASKED);