Searched refs:cmci_disabled_guest_code (Results 1 – 1 of 1) sorted by relevance
107 static void cmci_disabled_guest_code(void) in cmci_disabled_guest_code() function282 cmcidis_vcpu = create_vcpu_with_mce_cap(vm, 1, false, cmci_disabled_guest_code); in main()