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_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);
case X2APIC_MSR(APIC_TMCCT):
tmcct = apic_read_reg(APIC_TMCCT);