// ExtractConfig - decompiled from Platform.efi
__int64 ExtractConfig()
{
  __int64 result; // rax

  result = (*(__int64 (**)(void))(BootServices + 72))(); /*0x614b*/
  if ( result < 0 ) /*0x6151*/
  {
    DebugPrint(0x80000000, "\nASSERT_EFI_ERROR (Status = %r)\n", result); /*0x6162*/
    return Assert( /*0x617a*/
             (__int64)"e:\\hs\\MdePkg\\Library\\UefiMemoryAllocationLib\\MemoryAllocationLib.c",
             819,
             (__int64)"!EFI_ERROR (Status)");
  }
  return result; /*0x617f*/
}