Searched refs:procbased_ctls2 (Results 1 – 1 of 1) sorted by relevance
181 static uint32_t pinbased_ctls, procbased_ctls, procbased_ctls2; variable412 if ((procbased_ctls2 & PROCBASED2_ENABLE_VPID) == 0) { in vpid_alloc()490 PROCBASED_CTLS2_ZERO_SETTING, &procbased_ctls2); in vmx_init()503 procbased_ctls2 |= PROCBASED2_ENABLE_VPID; in vmx_init()719 proc2_ctls = procbased_ctls2; in vmx_vminit()