blob: ff3f5db3fc92543c25fecd3463accf0ee4d0caed (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
/* SPDX-License-Identifier: GPL-2.0-only */
#include <assert.h>
#include <cbmem.h>
#include <symbols.h>
#include <ramdetect.h>
#include <commonlib/device_tree.h>
#include <mcall.h>
uintptr_t cbmem_top_chipset(void)
{
uint64_t top;
top = fdt_get_memory_top((void *)HLS()->fdt);
ASSERT_MSG(top, "Failed reading memory range from FDT");
return MIN(top, (uint64_t)4 * GiB - 1);
}
|
