Go to the source code of this file.
◆ XEN_CPUID_FIRST_LEAF
#define XEN_CPUID_FIRST_LEAF 0x40000000 |
◆ XEN_CPUID_SIGNATURE_EBX
#define XEN_CPUID_SIGNATURE_EBX 0x566e6558 /* "XenV" */ |
◆ XEN_CPUID_SIGNATURE_ECX
#define XEN_CPUID_SIGNATURE_ECX 0x65584d4d /* "MMXe" */ |
◆ XEN_CPUID_SIGNATURE_EDX
#define XEN_CPUID_SIGNATURE_EDX 0x4d4d566e /* "nVMM" */ |
◆ XEN_HVM_CPUID_VCPU_ID_PRESENT
#define XEN_HVM_CPUID_VCPU_ID_PRESENT (1u << 3) /* vcpu id is present in EBX */ |
◆ XEN_HVM_CPUID_DOMID_PRESENT
#define XEN_HVM_CPUID_DOMID_PRESENT (1u << 4) /* domid is present in ECX */ |