Searched refs:true_ctl_reg (Results 1 – 2 of 2) sorted by relevance
82 vmx_set_ctlreg(int ctl_reg, int true_ctl_reg, uint32_t ones_mask, in vmx_set_ctlreg() argument97 trueval = rdmsr(true_ctl_reg); /* step c */ in vmx_set_ctlreg()107 "truectl 0x%0x\n", i, ctl_reg, true_ctl_reg)); in vmx_set_ctlreg()132 true_ctl_reg); in vmx_set_ctlreg()
47 int vmx_set_ctlreg(int ctl_reg, int true_ctl_reg, uint32_t ones_mask,