// WriteProtocolVar - decompiled from Platform.efi
__int64 __fastcall WriteProtocolVar(const void *SourceBuffer, unsigned __int64 n209, UINTN Length)
{
  __int64 v5; // rax

  if ( !n209 ) /*0x8594*/
    return 0x8000000000000002uLL; /*0x8596*/
  v5 = SetupBufferOps(SourceBuffer, n209, Length); /*0x85a2*/
  if ( v5 == -1 ) /*0x85ab*/
    return 0x800000000000000EuLL; /*0x85ad*/
  else
    return (*(__int64 (__fastcall **)(_QWORD, _QWORD, _QWORD, char *, unsigned __int64))(RuntimeServices + 72))( /*0x85e4*/
             *(&off_FD00 + 3 * v5 + 1),
             *(&off_FD00 + 3 * v5),
             0,
             (char *)&unk_FD10 + 24 * v5,
             n209);
}