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