PROCBASED2_ENABLE_VPID
if ((procbased_ctls2 & PROCBASED2_ENABLE_VPID) == 0)
PROCBASED2_ENABLE_VPID, 0, &tmp);
procbased_ctls2 |= PROCBASED2_ENABLE_VPID;
if (proc2 & PROCBASED2_ENABLE_VPID) {
(proc2 & (PROCBASED2_ENABLE_EPT | PROCBASED2_ENABLE_VPID)) != 0) {