// SetupRouteHandler - decompiled from Platform.efi
char __fastcall SetupRouteHandler(_BYTE *a1)
{
  bool v2; // bl
  __int64 v3; // rax
  __int64 v4; // rax
  int n134; // edx
  __int64 v6; // rcx
  __int64 v7; // rax
  char v8; // cl
  __int64 v9; // rax
  char v10; // cl
  __int64 v11; // rax
  __int64 v12; // rax
  __int64 n3752; // rdx
  __int64 v14; // rax
  __int64 v15; // rax
  __int64 v16; // rax
  __int64 v17; // rax
  __int64 v18; // rdx
  __int64 n4; // r8
  bool v20; // zf
  __int64 v21; // rax
  signed __int64 v22; // rax
  signed __int64 v23; // rax
  __int64 v24; // rax
  unsigned __int8 n4_1; // r10
  __int64 v26; // r11
  char v27; // r9
  int v28; // eax
  __int64 v29; // rax
  __int64 v30; // rdx
  __int64 n12; // r8
  __int64 v32; // rdx
  __int64 n48; // r8
  bool v34; // di
  _BYTE DestinationBuffer_4[32]; // [rsp+20h] [rbp-E0h] BYREF
  int DestinationBuffer_; // [rsp+40h] [rbp-C0h] BYREF
  __int16 v38; // [rsp+44h] [rbp-BCh]
  char v39; // [rsp+46h] [rbp-BAh]
  char v40; // [rsp+48h] [rbp-B8h]
  char v41; // [rsp... [10367 chars total]