APIC_TMCCT
long tapic = apic_read(APIC_TMCCT);
v = apic_read(APIC_TMCCT);
case APIC_TMCCT:
case APIC_TMCCT: /* Timer CCR */
APIC_REG_MASK(APIC_TMCCT) |
apic_set_reg(s->regs, APIC_TMCCT, __apic_read(vcpu->arch.apic, APIC_TMCCT));
__start_apic_timer(apic, APIC_TMCCT);
kvm_lapic_set_reg(apic, APIC_TMCCT, 0);
X2APIC_MSR(APIC_TMCCT),
vmx_enable_intercept_for_msr(vcpu, X2APIC_MSR(APIC_TMCCT), MSR_TYPE_RW);
tmcct = apic_read_reg(APIC_TMCCT);