/* SPDX-License-Identifier: GPL-2.0-or-later */ #include <cbmem.h> #include <symbols.h> #include <commonlib/device_tree.h> #include <console/console.h> DECLARE_REGION(fdt_pointer) uintptr_t cbmem_top_chipset(void) { const uint64_t top = fdt_get_memory_top((void *) *((uintptr_t *)_fdt_pointer)); if (top == 0) { /* corrupted FDT? */ die("Could not find top of memory in FDT!"); } printk(BIOS_DEBUG, "%s: 0x%llx\n", __func__, top); return (uintptr_t)top; }