1 #include <asm/arch/platform.h> 2 #include "mem_io.h" 3 4 uint32_t SRAM_RD(uint32_t addr) 5 { 6 return readl(ASPEED_SRAM_BASE + addr); 7 }