Home
last modified time | relevance | path

Searched refs:write_ctrlreg_mask (Results 1 – 4 of 4) sorted by relevance

/xen/xen/arch/x86/
A Dmonitor.c157 ARRAY_SIZE(ad->monitor.write_ctrlreg_mask)) ) in arch_monitor_domctl_event()
183 ad->monitor.write_ctrlreg_mask[mop->u.mov_to_cr.index] = mop->u.mov_to_cr.bitmask; in arch_monitor_domctl_event()
188 ad->monitor.write_ctrlreg_mask[mop->u.mov_to_cr.index] = 0; in arch_monitor_domctl_event()
/xen/xen/arch/x86/hvm/
A Dmonitor.c45 ((value ^ old) & ~ad->monitor.write_ctrlreg_mask[index]) ) in hvm_monitor_cr()
/xen/xen/include/asm-x86/
A Ddomain.h423 uint64_t write_ctrlreg_mask[4]; member
/xen/xen/arch/x86/hvm/vmx/
A Dvmx.c1551 ~v->domain->arch.monitor.write_ctrlreg_mask[VM_EVENT_X86_CR4]; in vmx_update_guest_cr()

Completed in 15 milliseconds