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

..

XenAcpiPlatformDxe.c

ArmVirtPkg/XenAcpiPlatformDxe: don't cast UINT64 to pointer directly

2017-03-28 13:48:39 +02:00

XenAcpiPlatformDxe.inf

ArmVirtPkg/ArmVirtXen: Add ACPI support for Virt Xen ARM

2016-06-28 13:37:25 +02:00