Searched refs:write_ctrlreg_enabled (Results 1 – 5 of 5) sorted by relevance
143 old_status = !!(ad->monitor.write_ctrlreg_enabled & ctrlreg_bitmask); in arch_monitor_domctl_event()163 ad->monitor.write_ctrlreg_enabled |= ctrlreg_bitmask; in arch_monitor_domctl_event()168 ad->monitor.write_ctrlreg_enabled &= ~ctrlreg_bitmask; in arch_monitor_domctl_event()
39 if ( (ad->monitor.write_ctrlreg_enabled & ctrlreg_bitmask) && in hvm_monitor_cr()
2212 if ( may_defer && unlikely(v->domain->arch.monitor.write_ctrlreg_enabled & in hvm_set_cr0()2310 if ( may_defer && unlikely(v->domain->arch.monitor.write_ctrlreg_enabled & in hvm_set_cr3()2385 if ( may_defer && unlikely(v->domain->arch.monitor.write_ctrlreg_enabled & in hvm_set_cr4()
402 unsigned int write_ctrlreg_enabled : 4; member
1568 if ( v->domain->arch.monitor.write_ctrlreg_enabled & in vmx_update_guest_cr()
Completed in 37 milliseconds