Searched refs:vmx_set_ctlreg (Results 1 - 3 of 3) sorted by relevance
/freebsd-12-stable/sys/amd64/vmm/intel/ |
H A D | vmx_msr.h | 47 int vmx_set_ctlreg(int ctl_reg, int true_ctl_reg, uint32_t ones_mask,
|
H A D | vmx.c | 687 error = vmx_set_ctlreg(MSR_VMX_PROCBASED_CTLS, 701 error = vmx_set_ctlreg(MSR_VMX_PROCBASED_CTLS2, 712 error = vmx_set_ctlreg(MSR_VMX_PROCBASED_CTLS2, MSR_VMX_PROCBASED_CTLS2, 718 error = vmx_set_ctlreg(MSR_VMX_PINBASED_CTLS, 729 error = vmx_set_ctlreg(MSR_VMX_EXIT_CTLS, MSR_VMX_TRUE_EXIT_CTLS, 740 error = vmx_set_ctlreg(MSR_VMX_ENTRY_CTLS, MSR_VMX_TRUE_ENTRY_CTLS, 753 cap_halt_exit = (vmx_set_ctlreg(MSR_VMX_PROCBASED_CTLS, 758 cap_monitor_trap = (vmx_set_ctlreg(MSR_VMX_PROCBASED_CTLS, 763 cap_pause_exit = (vmx_set_ctlreg(MSR_VMX_PROCBASED_CTLS, 797 error = vmx_set_ctlreg(MSR_VMX_PROCBASED_CTLS [all...] |
H A D | vmx_msr.c | 82 vmx_set_ctlreg(int ctl_reg, int true_ctl_reg, uint32_t ones_mask, function 129 panic("vmx_set_ctlreg: unable to determine "
|
Completed in 112 milliseconds