// SetupFormCallback - decompiled from Platform.efi
unsigned __int64 __fastcall SetupFormCallback(__int64 a1, __int64 a2, unsigned __int16 n4279, __int64 a4, char *a5)
{
  signed __int64 v5; // rdi
  char v6; // r15
  char v7; // r12
  __int64 v9; // rdx
  __int64 v10; // rdx
  __int64 v11; // rdx
  __int64 n4092; // rdx
  char ManufacturingMode; // al
  const CHAR8 *_nIntelSetup_GetVariable_Status___%r_n; // rdx
  char v15; // al
  _BYTE *SourceBuffer_1; // r9
  __int64 n676; // rsi
  char v18; // cl
  _BYTE *SourceBuffer_3; // r9
  const __int16 *IntelSetup; // rdx
  void *SourceBuffer; // rcx
  __int64 n224; // r8
  char *v23; // rbx
  __int64 v25; // [rsp+20h] [rbp-E0h]
  __int64 v26; // [rsp+20h] [rbp-E0h]
  __int64 v27; // [rsp+20h] [rbp-E0h]
  __int64 v28; // [rsp+20h] [rbp-E0h]
  __int64 v29; // [rsp+20h] [rbp-E0h]
  _QWORD v30[2]; // [rsp+30h] [rbp-D0h] BYREF
  _BYTE v31[112]; // [rsp+40h] [rbp-C0h] BYREF
  _BYTE SourceBuffer_2[126]; // [rsp+B0h] [rbp-50h] BYREF
  int n16843009; // [rsp+12Eh] [rbp+2Eh]
  char v34; // [rsp+135h]... [13059 chars total]