Searched refs:cpuid_faulting (Results 1 – 5 of 5) sorted by relevance
46 dp->plaform_info.cpuid_faulting = true; in calculate_hvm_max_policy()62 dp->plaform_info.cpuid_faulting = true; in calculate_pv_max_policy()91 dp->plaform_info.cpuid_faulting = false; in init_domain_msr_policy()131 *val = (uint64_t)dp->plaform_info.cpuid_faulting << in guest_rdmsr()138 *val = (uint64_t)vp->misc_features_enables.cpuid_faulting << in guest_rdmsr()167 bool old_cpuid_faulting = vp->misc_features_enables.cpuid_faulting; in guest_wrmsr()172 if ( dp->plaform_info.cpuid_faulting ) in guest_wrmsr()178 vp->misc_features_enables.cpuid_faulting = in guest_wrmsr()182 (old_cpuid_faulting ^ vp->misc_features_enables.cpuid_faulting) ) in guest_wrmsr()
211 bool cpuid_faulting; member221 bool cpuid_faulting; member
93 if ( vp->misc_features_enables.cpuid_faulting && in emulate_forced_invalid_op()
183 misc_features_enables.cpuid_faulting)); in ctxt_switch_levelling()
3364 if ( !vp->misc_features_enables.cpuid_faulting ) in hvm_check_cpuid_faulting()
Completed in 12 milliseconds