Searched refs:monitor_ctrlreg_bitmask (Results 1 – 6 of 6) sorted by relevance
27 #define monitor_ctrlreg_bitmask(ctrlreg_index) (1U << (ctrlreg_index)) macro
40 unsigned int ctrlreg_bitmask = monitor_ctrlreg_bitmask(index); in hvm_monitor_cr()
2277 monitor_ctrlreg_bitmask(VM_EVENT_X86_CR0)) ) in hvm_set_cr0()2381 monitor_ctrlreg_bitmask(VM_EVENT_X86_CR3)) ) in hvm_set_cr3()2458 monitor_ctrlreg_bitmask(VM_EVENT_X86_CR4)) ) in hvm_set_cr4()
163 ctrlreg_bitmask = monitor_ctrlreg_bitmask(mop->u.mov_to_cr.index); in arch_monitor_domctl_event()
1417 monitor_ctrlreg_bitmask(VM_EVENT_X86_CR3) ) in vmx_update_guest_cr()1549 monitor_ctrlreg_bitmask(VM_EVENT_X86_CR4) ) in vmx_update_guest_cr()
498 monitor_ctrlreg_bitmask(VM_EVENT_X86_CR3) ) in svm_update_guest_cr()
Completed in 22 milliseconds