_kern_exit_team
extern void __NO_RETURN _kern_exit_team(status_t returnValue);
_kern_exit_team(status);