zone_destroy
(void) zone_destroy(zoneid);
if (zone_destroy(zoneid) != 0) {
extern int zone_destroy(zoneid_t);
return (zone_destroy((zoneid_t)(uintptr_t)arg1));