Searched refs:true_ctl_reg (Results 1 – 2 of 2) sorted by relevance
78 vmx_set_ctlreg(int ctl_reg, int true_ctl_reg, uint32_t ones_mask, in vmx_set_ctlreg() argument93 trueval = rdmsr(true_ctl_reg); /* step c */ in vmx_set_ctlreg()103 "truectl 0x%0x\n", i, ctl_reg, true_ctl_reg)); in vmx_set_ctlreg()128 true_ctl_reg); in vmx_set_ctlreg()
45 int vmx_set_ctlreg(int ctl_reg, int true_ctl_reg, uint32_t ones_mask,