PROC_CTLS2_INVPCID_ENABLE
if (vmx_procbased_ctls2 & PROC_CTLS2_INVPCID_ENABLE) {
if (vmx_procbased_ctls2 & PROC_CTLS2_INVPCID_ENABLE) {
PROC_CTLS2_INVPCID_ENABLE);
vmx_procbased_ctls2 |= PROC_CTLS2_INVPCID_ENABLE;