// CheckActionFlag - decompiled from Platform.efi
bool __fastcall CheckActionFlag(__int64 a1)
{
  int v1; // r14d
  __int64 v2; // r13
  __int64 v3; // r15
  void *CopyPool_1; // r12
  __int64 v5; // rax
  signed __int64 v6; // rbx
  char *ZeroPool_2; // rdi
  unsigned __int64 n0xF4240; // rax
  unsigned __int64 v10; // rax
  char *ZeroPool_4; // rsi
  unsigned __int64 n0xF4240_1; // rax
  CHAR16 *ZeroPool_5; // rsi
  unsigned __int64 v14; // rax
  unsigned __int64 n0xF4240_2; // rax
  CHAR16 *ZeroPool_6; // rsi
  unsigned __int64 v17; // rax
  _QWORD *v18; // rax
  _QWORD *v19; // rbx
  __int64 v20; // r14
  void *CopyPool; // rax
  _WORD *v22; // r14
  CHAR16 n38; // ax
  UINTN n0xF4240_3; // r15
  CHAR16 *ZeroPool; // rax
  CHAR16 *ZeroPool_1; // r14
  _WORD *i; // rax
  unsigned __int64 v28; // rax
  _WORD *i_1; // rdi
  _WORD *v30; // rax
  __int16 v31; // [rsp+40h] [rbp-19h] BYREF
  _WORD *v32; // [rsp+48h] [rbp-11h] BYREF
  __int64 v33; // [rsp+50h] [rbp-9h] BYREF
  __int64 v34; // [rsp+58h] [rbp-1h] BYREF
  char *ZeroPool_3; /... [9118 chars total]
