Searched refs:cpuid_enabled (Results 1 – 3 of 3) sorted by relevance
275 bool old_status = ad->monitor.cpuid_enabled; in arch_monitor_domctl_event()281 ad->monitor.cpuid_enabled = requested_status; in arch_monitor_domctl_event()
182 if ( !ad->monitor.cpuid_enabled ) in hvm_monitor_cpuid()
409 unsigned int cpuid_enabled : 1; member
Completed in 6 milliseconds