/* SPDX-License-Identifier: GPL-2.0-only */ #include size_t sdram_size(void) { size_t dram_size = 0x100000000; return dram_size; }