Searched refs:procbased_ctls2 (Results 1 – 1 of 1) sorted by relevance
178 static uint32_t pinbased_ctls, procbased_ctls, procbased_ctls2; variable411 if ((procbased_ctls2 & PROCBASED2_ENABLE_VPID) == 0) { in vpid_alloc()496 PROCBASED_CTLS2_ZERO_SETTING, &procbased_ctls2); in vmx_init()509 procbased_ctls2 |= PROCBASED2_ENABLE_VPID; in vmx_init()726 proc2_ctls = procbased_ctls2; in vmx_vminit()