unsigned __int64 __fastcall sub_1F50(__int64 a1, void **a2)
{
  EFI_SYSTEM_TABLE *SystemTable; // rdi
  __int64 v5; // rbx
  __int64 i; // r14

  if ( !a1 ) /*0x1f7c*/
    sub_788("e:\\hs\\MdePkg\\Library\\UefiLib\\UefiLib.c", 97, "TableGuid != ((void *) 0)"); /*0x1f8f*/
  if ( !a2 ) /*0x1fa1*/
    sub_788("e:\\hs\\MdePkg\\Library\\UefiLib\\UefiLib.c", 98, "Table != ((void *) 0)"); /*0x1fb4*/
  SystemTable = SystemTable; /*0x1fb9*/
  v5 = 0; /*0x1fc0*/
  *a2 = 0; /*0x1fc2*/
  if ( !SystemTable->NumberOfTableEntries ) /*0x1fc6*/
    return 0x800000000000000EuLL; /*0x1fef*/
  for ( i = 0; !(unsigned __int8)sub_2ACC(a1, &SystemTable->ConfigurationTable[i]); ++i ) /*0x1fcc*/
  {
    if ( ++v5 >= SystemTable->NumberOfTableEntries ) /*0x1fed*/
      return 0x800000000000000EuLL; /*0x1fed*/
  }
  *a2 = SystemTable->ConfigurationTable[v5].VendorTable; /*0x2023*/
  return 0; /*0x200d*/
}