zonecfg_get_poolname
(void) zonecfg_get_poolname(handle, zone_name, pool_name,
extern int zonecfg_get_poolname(zone_dochandle_t, char *, char *, size_t);