CPUID_STDEXT_INVPCID
invpcid_works = (cpu_stdext_feature & CPUID_STDEXT_INVPCID) != 0;
regs[1] |= CPUID_STDEXT_INVPCID;