Searched refs:mci_misc (Results 1 – 3 of 3) sorted by relevance
66 uint64_t mci_misc; member77 .mci_misc = 0x86ull,85 .mci_misc = 0x86ull,93 .mci_misc = 0x86ull,102 .mci_misc = 0x86ull,110 .mci_misc = 0x86ull,383 mce->bank, mce->mci_misc, domain); in inject()
143 *val = v->arch.vmce.bank[bank].mci_misc; in bank_mce_rdmsr()278 v->arch.vmce.bank[bank].mci_misc = val; in bank_mce_wrmsr()438 uint64_t mci_misc) in vcpu_fill_mc_msrs() argument456 v->arch.vmce.bank[1].mci_misc = mci_misc; in vcpu_fill_mc_msrs()
23 uint64_t mci_misc; member
Completed in 4 milliseconds