ZONE_NAMELEN
len = mdb_readstr(name, ZONE_NAMELEN, (uintptr_t)zn.zone_name);
if (len == ZONE_NAMELEN)
char name[ZONE_NAMELEN];
len = mdb_readstr(name, ZONE_NAMELEN, (uintptr_t)zone.zone_name);
if (len == ZONE_NAMELEN)
char name[ZONE_NAMELEN];