socfpga_sdram_self_refresh_sz
extern unsigned int socfpga_sdram_self_refresh_sz;
ocram_base = gen_pool_alloc(ocram_pool, socfpga_sdram_self_refresh_sz);
socfpga_sdram_self_refresh_sz,
socfpga_sdram_self_refresh_sz);