// SetupVarSizeCheck - decompiled from Platform.efi
__int64 SetupVarSizeCheck()
{
  __int64 Buffer; // rax
  char v1; // [rsp+40h] [rbp+18h] BYREF

  Buffer = (*(__int64 (__fastcall **)(void *, _QWORD, char *))(BootServices + 320))(&unk_FA60, 0, &v1); /*0x8c99*/
  if ( Buffer >= 0 ) /*0x8ca2*/
  {
    Buffer = Buffer; /*0x8ca4*/
    if ( !*(_BYTE *)(Buffer + 20) ) /*0x8cab*/
    {
      PublishInterface(); /*0x8cb1*/
      *(_BYTE *)(Buffer + 20) = 1; /*0x8cbd*/
      return VariableServicesInit(); /*0x8cc1*/
    }
  }
  return Buffer; /*0x8cc6*/
}