/* | |
* This file is part of the coreboot project. | |
* | |
* | |
* SPDX-License-Identifier: GPL-2.0-or-later | |
*/ | |
#include <cbmem.h> | |
#include <ramdetect.h> | |
#include <symbols.h> | |
void *cbmem_top_chipset(void) | |
{ | |
return _dram + (probe_ramsize((uintptr_t)_dram, CONFIG_DRAM_SIZE_MB) * MiB); | |
} |