2020-04-04 18:51:30 +02:00
|
|
|
/* SPDX-License-Identifier: GPL-2.0-only */
|
2018-04-19 16:23:54 +02:00
|
|
|
|
|
|
|
#include <cbmem.h>
|
2019-12-19 07:47:52 +01:00
|
|
|
#include <commonlib/helpers.h>
|
2018-07-07 14:21:30 +02:00
|
|
|
#include <soc/addressmap.h>
|
|
|
|
#include <soc/sdram.h>
|
|
|
|
#include <symbols.h>
|
2018-04-19 16:23:54 +02:00
|
|
|
|
2022-11-09 14:00:44 +01:00
|
|
|
uintptr_t cbmem_top_chipset(void)
|
2018-04-19 16:23:54 +02:00
|
|
|
{
|
2022-11-09 14:00:44 +01:00
|
|
|
return MIN((uintptr_t)_dram + sdram_size_mb() * MiB, FU540_MAXDRAM);
|
2018-04-19 16:23:54 +02:00
|
|
|
}
|