// SetupOptionQuery - decompiled from Platform.efi
unsigned __int64 __fastcall SetupOptionQuery(_WORD *a1)
{
  _WORD *v1; // rbx
  unsigned __int64 n0xF4240; // rdi

  v1 = a1; /*0x55a5*/
  if ( !a1 ) /*0x55ab*/
    Assert((__int64)"e:\\hs\\MdePkg\\Library\\BaseLib\\String.c", 172, (__int64)"String != ((void *) 0)"); /*0x55c0*/
  if ( ((unsigned __int8)v1 & 1) != 0 ) /*0x55c8*/
    Assert((__int64)"e:\\hs\\MdePkg\\Library\\BaseLib\\String.c", 173, (__int64)"((UINTN) String & 0x00000001) == 0"); /*0x55dd*/
  n0xF4240 = 0; /*0x55e2*/
  while ( *v1 ) /*0x5612*/
  {
    if ( n0xF4240 >= 0xF4240 ) /*0x55ee*/
      Assert( /*0x5603*/
        (__int64)"e:\\hs\\MdePkg\\Library\\BaseLib\\String.c",
        181,
        (__int64)"Length < _gPcd_FixedAtBuild_PcdMaximumUnicodeStringLength");
    ++v1; /*0x5608*/
    ++n0xF4240; /*0x560c*/
  }
  return n0xF4240; /*0x5621*/
}