Laszlo Ersek 6244c8924e ArmVirtPkg/XenAcpiPlatformDxe: don't cast UINT64 to pointer directly
Because that breaks the (potential) 32-bit build of the driver.

Cc: Ard Biesheuvel <ard.biesheuvel@linaro.org>
Cc: Leif Lindholm <leif.lindholm@linaro.org>
Contributed-under: TianoCore Contribution Agreement 1.0
Signed-off-by: Laszlo Ersek <lersek@redhat.com>
Reviewed-by: Ard Biesheuvel <ard.biesheuvel@linaro.org>
2017-03-28 13:48:39 +02:00
2016-10-26 09:34:34 -07:00
2014-10-14 16:08:15 +00:00
2014-10-14 16:08:15 +00:00
2017-03-10 10:44:13 +08:00
Description
Acidanthera UEFI Development Kit based on EDK II edk2-stable202405
330 MiB
Languages
C 71.6%
Assembly 16.4%
Python 8.5%
Rich Text Format 1.3%
C++ 0.8%
Other 1%