Searched refs:set_cpuid_faulting (Results 1 – 1 of 1) sorted by relevance
156 static void set_cpuid_faulting(bool enable) in set_cpuid_faulting() function195 set_cpuid_faulting(nextd && (opt_dom0_cpuid_faulting || in ctxt_switch_levelling()
Completed in 3 milliseconds