mirror of
https://source.denx.de/u-boot/u-boot.git
synced 2025-10-10 23:21:47 +02:00
If 64-bit physical addresses support is enabled, make sure the sandox defines the correct types for phys_addr_t and phys_size_t. Signed-off-by: Thierry Reding <treding@nvidia.com>