1 /* SPDX-License-Identifier: GPL-2.0-only */
7 #include <commonlib/device_tree.h>
10 uintptr_t cbmem_top_chipset(void)
14 top
= fdt_get_memory_top((void *)HLS()->fdt
);
15 ASSERT_MSG(top
, "Failed reading memory range from FDT");
17 return MIN(top
, (uint64_t)4 * GiB
- 1);