// SetupValueSetter - decompiled from Platform.efi
__int64 SetupValueSetter()
{
  __int64 v0; // rax
  __int64 v1; // rax
  __int64 v2; // rax
  __int64 v3; // rax
  _BYTE v5[24]; // [rsp+30h] [rbp-18h] BYREF
  __int64 v6; // [rsp+50h] [rbp+8h]
  __int64 v7; // [rsp+58h] [rbp+10h]
  char v8; // [rsp+60h] [rbp+18h] BYREF
  char v9; // [rsp+68h] [rbp+20h] BYREF

  v0 = (*(__int64 (__fastcall **)(void *, _QWORD, char *))(BootServices + 320))(&unk_FBD0, 0, &v8); /*0x3493*/
  if ( v0 < 0 ) /*0x34a1*/
  {
    DebugPrint(0x80000000, "\nASSERT_EFI_ERROR (Status = %r)\n", v0); /*0x34af*/
    Assert( /*0x34c7*/
      (__int64)"e:\\hs\\PurleyRpPkg\\Platform\\Dxe\\Setup\\SetupInfoRecords.c",
      141,
      (__int64)"!EFI_ERROR (Status)");
  }
  v1 = (*(__int64 (__fastcall **)(__int64, __int64, unsigned __int64 (*)()))(BootServices + 80))( /*0x34f0*/
         512,
         8,
         SetupBootOptionMaint);
  if ( v1 < 0 ) /*0x34f6*/
  {
    DebugPrint(0x80000000, "\nASSERT_EFI_ERROR (Status = %r)\n", v1); /*0x3505*/
    Assert( /*0x351d*/
      (__int64)"e:\\hs\\PurleyRpPkg\\Platform\\Dxe\\Setup\\SetupInfoRecords.c",
      154,
      (__int64)"!EFI_ERROR (Status)");
  }
  v2 = (*(__int64 (__fastcall **)(void *, __int64, char *))(BootServices + 168))(&unk_FA10, v6, &v9); /*0x353a*/
  if ( v2 < 0 ) /*0x3543*/
  {
    DebugPrint(0x80000000, "\nASSERT_EFI_ERROR (Status = %r)\n", v2); /*0x3552*/
    Assert( /*0x356a*/
      (__int64)"e:\\hs\\PurleyRpPkg\\Platform\\Dxe\\Setup\\SetupInfoRecords.c",
      160,
      (__int64)"!EFI_ERROR (Status)");
  }
  v3 = (*(__int64 (__fastcall **)(__int64, __int64, __int64 (*)()))(BootServices + 80))(512, 8, PopulateDiskInfoRecords); /*0x3593*/
  if ( v3 < 0 ) /*0x3599*/
  {
    DebugPrint(0x80000000, "\nASSERT_EFI_ERROR (Status = %r)\n", v3); /*0x35a8*/
    Assert( /*0x35c0*/
      (__int64)"e:\\hs\\PurleyRpPkg\\Platform\\Dxe\\Setup\\SetupInfoRecords.c",
      181,
      (__int64)"!EFI_ERROR (Status)");
  }
  (*(void (__fastcall **)(void *, __int64, _BYTE *))(BootServices + 168))(&unk_F9C0, v7, v5); /*0x35dd*/
  return 0; /*0x35e5*/
}