/* Display Sub-Leaf 1 Enumeration of Intel SGX Capabilities.  */
VOID CpuidEnumerationOfIntelSgxCapabilities1SubLeaf(VOID)
/* Display Sub-Leaf 1 Enumeration of Intel SGX Capabilities.  */
VOID CpuidEnumerationOfIntelSgxCapabilities1SubLeaf(VOID)
{
  UINT32  Eax;
  UINT32  Ebx;
  UINT32  Ecx;
  UINT32  Edx;
  AsmCpuidEx (
    CPUID_INTEL_SGX,
    CPUID_INTEL_SGX_CAPABILITIES_1_SUB_LEAF,
    &Eax,
    &Ebx,
    &Ecx,
    &Edx
    );
  Print (L"CPUID_INTEL_SGX (Leaf %08x, Sub-Leaf %08x)\n", CPUID_INTEL_SGX, CPUID_INTEL_SGX_CAPABILITIES_1_SUB_LEAF);
  Print (L"  EAX:%08x  EBX:%08x  ECX:%08x  EDX:%08x\n", Eax, Ebx, Ecx, Edx);
}