CPUID_SEF_INVPCID
(cpu_info_primary.ci_feat_val[5] & CPUID_SEF_INVPCID)) {
cpudata->gprs[NVMM_X64_GPR_RBX] |= CPUID_SEF_INVPCID;