plat_get_mem_addr
extern int plat_get_mem_addr(char *unum, char *sid, uint64_t offset,
if (&plat_get_mem_addr) {
return (plat_get_mem_addr(unum, sid, offset, addrp));
if (&plat_get_mem_addr)
return (plat_get_mem_addr(unum, sid, offset, addrp));