1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #ifndef SOC_INTEL_COMMON_BASECODE_RAMTOP_H 4 #define SOC_INTEL_COMMON_BASECODE_RAMTOP_H 5 6 #include <types.h> 7 8 /* Early caching of top_of_ram region */ 9 void early_ramtop_enable_cache_range(void); 10 11 /* Update the RAMTOP if required based on the input top_of_ram address */ 12 void update_ramtop(uint32_t addr); 13 14 /* Get RAMTOP */ 15 uint32_t get_ramtop_addr(void); 16 17 #endif 18