// DriverEntryMain - decompiled from Platform.efi
__int64 __fastcall DriverEntryMain(__int64 ImageHandle, __int64 a2)
{
  signed __int64 SetupString; // rax
  __int64 Uint32; // rax
  __int64 Uint32_1; // rbx
  __int64 n329; // rdx
  __int64 v8; // rax
  __int64 v9; // rdx
  __int64 Uint32_2; // rax
  __int64 v11; // rax
  __int64 v12; // rdx
  __int64 v13; // rax
  __int64 v14; // r12
  __int64 n350; // rdx
  __int64 v16; // rax
  __int64 v17; // rdx
  __int64 v18; // rax
  __int64 v19; // rax
  __int64 v20; // rax
  __int64 v21; // rdx
  __int64 v22; // rcx
  UINTN Length; // r8
  __int64 v24; // rax
  __int64 v25; // rax
  __int64 v26; // rax
  __int64 v27; // rax
  __int64 *v28; // rcx
  UINTN Length_1; // r8
  __int64 DxeServicesTable; // rax
  __int64 v31; // rcx
  char n2; // al
  __int64 v33; // rax
  __int64 v34; // rax
  __int64 Protocol; // rax
  __int64 v36; // rax
  __int64 v37; // rax
  __int64 v38; // rax
  __int64 v39; // rcx
  __int64 v40; // rax
  __int64 v41; // rax
  _WORD *v42; // rax
  __int64 v43; // rax
  const... [16510 chars total]
