// SetupRecordsList - decompiled from Platform.efi
char __fastcall SetupRecordsList(_WORD *ZeroPool, unsigned __int8 *SourceBuffer, __int16 *PchRcConfiguration)
{
  CHAR16 *v6; // rax
  CHAR16 *v7; // rdi
  bool Set; // bl

  if ( !ZeroPool ) /*0xa2d5*/
    Assert((__int64)"e:\\hs\\MdeModulePkg\\Library\\UefiHiiLib\\HiiLib.c", 2788, (__int64)"ConfigHdr != ((void *) 0)"); /*0xa2ea*/
  v6 = ConstructConfigHdr(SourceBuffer, PchRcConfiguration, 0); /*0xa2f8*/
  v7 = v6; /*0xa2fd*/
  if ( v6 ) /*0xa303*/
  {
    Set = 1; /*0xa305*/
    if ( !SourceBuffer || (Set = SetupRecordsGetSet(ZeroPool, v6, L"GUID=", L"&NAME=")) ) /*0xa325*/
    {
      if ( PchRcConfiguration ) /*0xa32e*/
        Set = SetupRecordsGetSet(ZeroPool, v7, L"&NAME=", L"&PATH="); /*0xa349*/
    }
    ExtractConfig(); /*0xa34e*/
    LOBYTE(v6) = Set; /*0xa353*/
  }
  return (char)v6; /*0xa369*/
}