285 	if (thread == THREAD_NULL) {  in thread_terminate()
328 	if (thread == THREAD_NULL) {  in thread_terminate_from_user()
350 	if (thread == THREAD_NULL) {  in thread_terminate_pinned()
421 	if (thread == THREAD_NULL || get_threadtask(thread) == kernel_task) {  in thread_suspend()
456 	if (thread == THREAD_NULL || get_threadtask(thread) == kernel_task) {  in thread_resume()
493 	if (thread == THREAD_NULL) {  in thread_depress_abort_from_user()
543 	if (thread == THREAD_NULL) {  in thread_abort()
567 	if (thread == THREAD_NULL) {  in thread_abort_safely()
610 	if (thread == THREAD_NULL) {  in thread_info()
639 	if (thread == THREAD_NULL) {  in thread_get_state_internal()
729 	if (thread == THREAD_NULL) {  in thread_set_state_internal()
822 	thread_t to_thread = THREAD_NULL;  in thread_convert_thread_state()
823 	thread_t from_thread = THREAD_NULL;  in thread_convert_thread_state()
831 	if (thread == THREAD_NULL) {  in thread_convert_thread_state()
885 	if (thread == THREAD_NULL) {  in thread_state_initialize()
913 	if (target == THREAD_NULL || target == self) {  in thread_dup()
956 	if (source == THREAD_NULL || target == THREAD_NULL || target == source) {  in thread_dup2()
1064 	if (thread == THREAD_NULL) {  in thread_set_tsd_base()
1242 	if (thread == THREAD_NULL) {  in thread_raise_exception()