Searched refs:cmci_enabled_guest_code (Results 1 – 1 of 1) sorted by relevance
115 static void cmci_enabled_guest_code(void) in cmci_enabled_guest_code() function283 cmci_vcpu = create_vcpu_with_mce_cap(vm, 2, true, cmci_enabled_guest_code); in main()