G_EDRAM0_BASE
meminfo_buff->avail[i].base = G_EDRAM0_BASE(hi) << 20;
avail[i].base = (uint64_t)G_EDRAM0_BASE(hi) << 20;
r->start = G_EDRAM0_BASE(addr_len) << 20;
maddr = G_EDRAM0_BASE(addr_len) << 20;