arch/x86/include/asm/xen/cpuid.h
arch/x86/kvm/cpuid.h