// CalculateCrc - decompiled from Platform.efi
__int64 CalculateCrc()
{
  __int64 result; // rax
  unsigned __int64 n0x10; // rbx
  __int64 v2; // rax
  __int64 v3; // rcx

  result = qword_FEF0; /*0x5f2e*/
  if ( !qword_FEF0 ) /*0x5f3a*/
  {
    n0x10 = (*(__int64 (__fastcall **)(__int64))(BootServices + 24))(31); /*0x5f53*/
    (*(void (__fastcall **)(unsigned __int64))(BootServices + 32))(n0x10); /*0x5f56*/
    if ( n0x10 <= 0x10 ) /*0x5f5d*/
    {
      v2 = (*(__int64 (__fastcall **)(void *, _QWORD, __int64 *))(BootServices + 320))(&unk_F980, 0, &qword_FEF0); /*0x5f7a*/
      v3 = qword_FEF0; /*0x5f80*/
      if ( v2 < 0 ) /*0x5f8a*/
        v3 = 0; /*0x5f8a*/
      qword_FEF0 = v3; /*0x5f8e*/
      return v3; /*0x5f95*/
    }
    else
    {
      return 0; /*0x5f5f*/
    }
  }
  return result; /*0x5f9d*/
}