APIC_TDCR
apic_pm_state.apic_tdcr = apic_read(APIC_TDCR);
apic_write(APIC_TDCR, apic_pm_state.apic_tdcr);
tmp_value = apic_read(APIC_TDCR);
apic_write(APIC_TDCR,
v = apic_read(APIC_TDCR);
case APIC_TDCR:
case APIC_TDCR:
APIC_REG_MASK(APIC_TDCR);
tdcr = kvm_lapic_get_reg(apic, APIC_TDCR);
case APIC_TDCR: {
kvm_lapic_set_reg(apic, APIC_TDCR, val & 0xb);
kvm_lapic_set_reg(apic, APIC_TDCR, 0);
X2APIC_MSR(APIC_TDCR),
case APIC_TDCR:
apic_write_reg(APIC_TDCR, tdcrs[i].tdcr);