/* SPDX-License-Identifier: GPL-2.0-only */

#include <cbmem.h>

uintptr_t cbmem_top_chipset(void)
{
	/*
	 * Smallest reported to be working (but not officially supported) DIMM is
	 * 4GB. This means that we always have at least as much available. Last
	 * 256MB are reserved for hostboot/coreboot (OCC and HOMER images).
	 *
	 * TODO: implement this properly after RAM is detected.
	 */
	return 4ull * GiB - 256 * MiB;
}