// GetUint32 - decompiled from Platform.efi
__int64 __fastcall GetUint32(__int64 a1, __int64 a2)
{
  __int64 Protocol; // rax

  Protocol = LocateProtocol(); /*0x5c08*/
  return (*(__int64 (__fastcall **)(__int64, __int64))(Protocol + 144))(a1, a2);
}
