2052 extern void task_deallocate_internal(task_t task, os_ref_count_t refs);
2056 	os_ref_count_t  refs)  in task_deallocate_internal()  argument
2065 	if (refs == 1) {  in task_deallocate_internal()
2080 	if (refs > 0) {  in task_deallocate_internal()
4537 	os_ref_count_t refs;  in task_add_turnstile_watchports()  local
4552 	refs = task_add_turnstile_watchports_locked(task,  in task_add_turnstile_watchports()
4559 	if (refs == 0) {  in task_add_turnstile_watchports()
4583 	os_ref_count_t refs = TASK_MAX_WATCHPORT_COUNT;  in task_remove_turnstile_watchports()  local
4599 	refs = task_remove_turnstile_watchports_locked(task, watchports,  in task_remove_turnstile_watchports()
4610 	if (refs == 0) {  in task_remove_turnstile_watchports()
4749 	os_ref_count_t refs = TASK_MAX_WATCHPORT_COUNT;  in task_add_turnstile_watchports_locked()  local
4753 		refs = task_watchports_release(watchports);  in task_add_turnstile_watchports_locked()
4754 		return refs;  in task_add_turnstile_watchports_locked()
4787 	refs = task_watchports_release(watchports);  in task_add_turnstile_watchports_locked()
4788 	if (refs == 0) {  in task_add_turnstile_watchports_locked()
4792 	return refs;  in task_add_turnstile_watchports_locked()
4815 	os_ref_count_t refs = TASK_MAX_WATCHPORT_COUNT;  in task_remove_turnstile_watchports_locked()  local
4829 			refs = task_watchports_release(watchports);  in task_remove_turnstile_watchports_locked()
4832 			if (refs == 0) {  in task_remove_turnstile_watchports_locked()
4839 	return refs;  in task_remove_turnstile_watchports_locked()
4898 	os_ref_count_t refs = TASK_MAX_WATCHPORT_COUNT;  in task_watchport_elem_deallocate()  local
4915 	refs = task_watchports_release(watchports);  in task_watchport_elem_deallocate()
4917 	if (refs == 0) {  in task_watchport_elem_deallocate()
4924 	if (refs == 0) {  in task_watchport_elem_deallocate()