// _ModuleEntryPoint - decompiled from Platform.efi
EFI_STATUS ModuleEntryPoint(EFI_HANDLE ImageHandle, EFI_SYSTEM_TABLE *SystemTable)
{
  __int64 v3; // rdx
  signed __int64 v4; // rbx

  DriverInit((__int64)ImageHandle, SystemTable); /*0x46d*/
  v4 = DriverEntryMain((__int64)ImageHandle, v3); /*0x47a*/
  if ( v4 < 0 ) /*0x480*/
    CpuDeadLoop(); /*0x482*/
  return v4; /*0x48a*/
}