1 /* SPDX-License-Identifier: GPL-2.0-or-later */
6 #include <commonlib/device_tree.h>
9 uintptr_t cbmem_top_chipset(void)
13 top
= fdt_get_memory_top((void *)_fdt
);
15 return MIN(top
, (uint64_t)4 * GiB
- 1);
17 return (uintptr_t)_dram
+ (probe_ramsize((uintptr_t)_dram
, CONFIG_DRAM_SIZE_MB
) * MiB
);