svc_addr
svc_get_pool(uintptr_t zone_addr, uintptr_t *svc_addr)
if (mdb_vread(svc_addr, sizeof (*svc_addr), glob_addr + offset) == -1) {
char *svc_addr;
svc_addr = __map_addr(nc, uaddr, prog, ver);
if (svc_addr == 0)
addr = uaddr2taddr(nc, svc_addr);
free(svc_addr);