Searched refs:true_ctl_reg (Results 1 – 2 of 2) sorted by relevance
75 vmx_set_ctlreg(int ctl_reg, int true_ctl_reg, uint32_t ones_mask, in vmx_set_ctlreg() argument90 trueval = rdmsr(true_ctl_reg); /* step c */ in vmx_set_ctlreg()100 "truectl 0x%0x\n", i, ctl_reg, true_ctl_reg)); in vmx_set_ctlreg()130 true_ctl_reg); in vmx_set_ctlreg()
42 int vmx_set_ctlreg(int ctl_reg, int true_ctl_reg, uint32_t ones_mask,