1 /* SPDX-License-Identifier: GPL-2.0-or-later */
5 #include <commonlib/device_tree.h>
6 #include <console/console.h>
8 DECLARE_REGION(fdt_pointer
)
9 uintptr_t cbmem_top_chipset(void)
11 const uint64_t top
= fdt_get_memory_top((void *) *((uintptr_t *)_fdt_pointer
));
15 die("Could not find top of memory in FDT!");
18 printk(BIOS_DEBUG
, "%s: 0x%llx\n", __func__
, top
);
19 return (uintptr_t)top
;