Searched refs:mci_ctl2 (Results 1 – 4 of 4) sorted by relevance
23 uint64_t mci_ctl2; member
92 v->arch.vmce.bank[0].mci_ctl2 = ctxt->mci_ctl2_bank0; in vmce_restore_vcpu()93 v->arch.vmce.bank[1].mci_ctl2 = ctxt->mci_ctl2_bank1; in vmce_restore_vcpu()361 .mci_ctl2_bank0 = v->arch.vmce.bank[0].mci_ctl2, in vmce_save_vcpu_ctxt()362 .mci_ctl2_bank1 = v->arch.vmce.bank[1].mci_ctl2, in vmce_save_vcpu_ctxt()
951 v->arch.vmce.bank[bank].mci_ctl2 = val; in vmce_intel_wrmsr()964 *val = v->arch.vmce.bank[bank].mci_ctl2; in vmce_intel_rdmsr()
911 evc->vmce.mci_ctl2_bank0 = v->arch.vmce.bank[0].mci_ctl2; in arch_do_domctl()912 evc->vmce.mci_ctl2_bank1 = v->arch.vmce.bank[1].mci_ctl2; in arch_do_domctl()
Completed in 11 milliseconds