APIC_DFR_FLAT
apic_write(APIC_DFR, APIC_DFR_FLAT);
case APIC_DFR_FLAT:
if (kvm_lapic_get_reg(apic, APIC_DFR) == APIC_DFR_FLAT)
} else if (kvm_lapic_get_reg(source, APIC_DFR) == APIC_DFR_FLAT) {
flat = kvm_lapic_get_reg(vcpu->arch.apic, APIC_DFR) == APIC_DFR_FLAT;
bool flat = svm->dfr_reg == APIC_DFR_FLAT;
svm->dfr_reg = APIC_DFR_FLAT;