zonecfg_destroy_tmp_pool
if ((res = zonecfg_destroy_tmp_pool(zone_name, pool_err,
extern int zonecfg_destroy_tmp_pool(char *, char *, int);