Searched refs:write_ctrlreg_enabled (Results 1 – 6 of 6) sorted by relevance
164 old_status = !!(ad->monitor.write_ctrlreg_enabled & ctrlreg_bitmask); in arch_monitor_domctl_event()184 ad->monitor.write_ctrlreg_enabled |= ctrlreg_bitmask; in arch_monitor_domctl_event()189 ad->monitor.write_ctrlreg_enabled &= ~ctrlreg_bitmask; in arch_monitor_domctl_event()
42 if ( (ad->monitor.write_ctrlreg_enabled & ctrlreg_bitmask) && in hvm_monitor_cr()
2276 if ( may_defer && unlikely(v->domain->arch.monitor.write_ctrlreg_enabled & in hvm_set_cr0()2380 if ( may_defer && unlikely(currd->arch.monitor.write_ctrlreg_enabled & in hvm_set_cr3()2457 if ( may_defer && unlikely(v->domain->arch.monitor.write_ctrlreg_enabled & in hvm_set_cr4()
405 unsigned int write_ctrlreg_enabled : 4; member
1416 if ( v->domain->arch.monitor.write_ctrlreg_enabled & in vmx_update_guest_cr()1548 if ( v->domain->arch.monitor.write_ctrlreg_enabled & in vmx_update_guest_cr()
497 if ( v->domain->arch.monitor.write_ctrlreg_enabled & in svm_update_guest_cr()
Completed in 33 milliseconds