// DriverInit - decompiled from Platform.efi
__int64 __fastcall DriverInit(__int64 ImageHandle, EFI_SYSTEM_TABLE *SystemTable, UINTN Length)
{
  __int64 DxeServicesTable; // rax
  __int64 v5; // rdx
  __int64 v6; // rcx
  UINTN Length_1; // r8
  __int64 DxeServicesTable_1; // rbx
  __int64 v9; // rax
  __int64 Protocol; // rax
  _WORD *CpRcCfg; // rax
  _BYTE *v12; // rax
  __int16 v13; // bx
  bool v14; // bl
  unsigned int Pool; // eax
  int TimerValue; // edi
  unsigned int Pool_1; // eax
  __int64 v18; // rdx
  void *Buffer; // rcx
  __int64 v20; // rax
  __int64 v21; // rax
  __int64 v22; // rax
  __int64 v23; // rax
  __int64 result; // rax

  ::ImageHandle = ImageHandle; /*0x4a9*/
  if ( !ImageHandle ) /*0x4bd*/
    Assert( /*0x4cc*/
      (__int64)"e:\\hs\\MdePkg\\Library\\UefiBootServicesTableLib\\UefiBootServicesTableLib.c",
      51,
      (__int64)"gImageHandle != ((void *) 0)");
  ::SystemTable = (__int64)SystemTable; /*0x4d1*/
  if ( !SystemTable ) /*0x4db*/
    Assert( /*0x4ea*/
      (__int64)"e:\\hs\\MdePkg\\Libr... [6819 chars total]