2020-04-04 18:51:34 +02:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0-only */
|
2014-11-26 20:25:47 +01:00
|
|
|
|
|
|
|
#include <cbmem.h>
|
2019-06-30 22:12:15 +02:00
|
|
|
#include <symbols.h>
|
|
|
|
#include <ramdetect.h>
|
2014-11-26 20:25:47 +01:00
|
|
|
|
2019-10-23 17:25:58 +02:00
|
|
|
void *cbmem_top_chipset(void)
|
2014-11-26 20:25:47 +01:00
|
|
|
{
|
2019-06-30 22:12:15 +02:00
|
|
|
return _dram + (probe_ramsize((uintptr_t)_dram, CONFIG_DRAM_SIZE_MB) * MiB);
|
2014-11-26 20:25:47 +01:00
|
|
|
}
|