Searched defs:ctl2 (Results 1 – 1 of 1) sorted by relevance
79 uint64_t ctl2; in ucna_injection_guest_code() local109 uint64_t ctl2 = rdmsr(MSR_IA32_MCx_CTL2(UCNA_BANK)); in cmci_disabled_guest_code() local117 uint64_t ctl2 = rdmsr(MSR_IA32_MCx_CTL2(UCNA_BANK)); in cmci_enabled_guest_code() local