Searched refs:true_ctl_reg (Results 1 - 2 of 2) sorted by relevance

/freebsd-12-stable/sys/amd64/vmm/intel/
H A Dvmx_msr.h47 int vmx_set_ctlreg(int ctl_reg, int true_ctl_reg, uint32_t ones_mask,
H A Dvmx_msr.c82 vmx_set_ctlreg(int ctl_reg, int true_ctl_reg, uint32_t ones_mask, argument
97 trueval = rdmsr(true_ctl_reg); /* step c */
107 "truectl 0x%0x\n", i, ctl_reg, true_ctl_reg));
132 true_ctl_reg);

Completed in 50 milliseconds