__apic_read
result = __apic_read(apic, offset & ~0xf);
apic_set_reg(s->regs, APIC_TMCCT, __apic_read(vcpu->arch.apic, APIC_TMCCT));