Searched refs:mci_ctl2_bank1 (Results 1 – 4 of 4) sorted by relevance
93 v->arch.vmce.bank[1].mci_ctl2 = ctxt->mci_ctl2_bank1; in vmce_restore_vcpu()362 .mci_ctl2_bank1 = v->arch.vmce.bank[1].mci_ctl2, in vmce_save_vcpu_ctxt()
612 uint64_t mci_ctl2_bank1; member
393 printf(" VMCE_VCPU: bank1 mci_ctl2 %" PRIx64 "\n", p.mci_ctl2_bank1); in dump_vmce_vcpu()
318 VMCE_SIZE(mci_ctl2_bank1), in vcpu_set_vmce()912 evc->vmce.mci_ctl2_bank1 = v->arch.vmce.bank[1].mci_ctl2; in arch_do_domctl()
Completed in 9 milliseconds