Go to the documentation of this file. 5 #ifndef XEN_PUBLIC_ARCH_X86_CPUID_H 6 #define XEN_PUBLIC_ARCH_X86_CPUID_H 17 #define XEN_CPUID_FIRST_LEAF 0x40000000 26 #define XEN_CPUID_SIGNATURE_EBX 0x566e6558 27 #define XEN_CPUID_SIGNATURE_ECX 0x65584d4d 28 #define XEN_CPUID_SIGNATURE_EDX 0x4d4d566e