// SetupIfrOptionLookup - decompiled from Platform.efi
void *__fastcall SetupIfrOptionLookup(__int64 a1)
{
  void *ZeroPool; // rax
  void *ZeroPool_1; // rbx
  char v5; // [rsp+38h] [rbp+10h] BYREF
  UINTN AllocationSize; // [rsp+40h] [rbp+18h] BYREF

  if ( !a1 ) /*0xa884*/
    Assert( /*0xa897*/
      (__int64)"e:\\hs\\MdeModulePkg\\Library\\UefiHiiLib\\HiiLanguage.c",
      47,
      (__int64)"HiiHandle != ((void *) 0)");
  AllocationSize = 0; /*0xa8a8*/
  if ( (*(__int64 (__fastcall **)(__int64, __int64, char *, UINTN *))(qword_FF68 + 24))( /*0xa8c9*/
         qword_FF68,
         a1,
         &v5,
         &AllocationSize) != 0x8000000000000005uLL )
    return 0; /*0xa8c9*/
  ZeroPool = AllocateZeroPool(AllocationSize); /*0xa8d4*/
  ZeroPool_1 = ZeroPool; /*0xa8d9*/
  if ( !ZeroPool ) /*0xa8df*/
    return 0; /*0xa8df*/
  if ( (*(__int64 (__fastcall **)(__int64, __int64, void *, UINTN *))(qword_FF68 + 24))( /*0xa8fc*/
         qword_FF68,
         a1,
         ZeroPool,
         &AllocationSize) < 0 )
  {
    ExtractConfig(); /*0xa901*/
    return 0; /*0xa8cd*/
  }
  return ZeroPool_1; /*0xa910*/
}