RDPID             339 arch/x86/kvm/cpuid.c 		entry->ecx = F(RDPID);
RDPID             367 arch/x86/kvm/cpuid.c 		F(AVX512VBMI) | F(LA57) | 0 /*PKU*/ | 0 /*OSPKE*/ | F(RDPID) |