Home
last modified time | relevance | path

Searched refs:mci_ctl2_bank1 (Results 1 – 4 of 4) sorted by relevance

/xen/xen/arch/x86/cpu/mcheck/
A Dvmce.c94 v->arch.vmce.bank[1].mci_ctl2 = ctxt->mci_ctl2_bank1; in vmce_restore_vcpu()
361 .mci_ctl2_bank1 = v->arch.vmce.bank[1].mci_ctl2, in vmce_save_vcpu_ctxt()
/xen/xen/include/public/arch-x86/hvm/
A Dsave.h620 uint64_t mci_ctl2_bank1; member
/xen/tools/misc/
A Dxen-hvmctx.c384 printf(" VMCE_VCPU: bank1 mci_ctl2 %" PRIx64 "\n", p.mci_ctl2_bank1); in dump_vmce_vcpu()
/xen/xen/arch/x86/
A Ddomctl.c291 VMCE_SIZE(mci_ctl2_bank1), in vcpu_set_vmce()
846 evc->vmce.mci_ctl2_bank1 = v->arch.vmce.bank[1].mci_ctl2; in arch_do_domctl()

Completed in 37 milliseconds