53 	mach_msg_priority_t priority,  in send()  argument
96 	    priority);  in send()
303 worker_cb(pthread_priority_t __unused priority)  in worker_cb()  argument
319 	int priority;  in workloop_cb_test_intransit()  local
328 	priority = get_pri(mach_thread_self());  in workloop_cb_test_intransit()
329 	T_EXPECT_EQ(priority, 47, "Priority of servicer is %d", priority);  in workloop_cb_test_intransit()
334 	priority = get_pri(mach_thread_self());  in workloop_cb_test_intransit()
335 	T_EXPECT_EQ(priority, 31, "Priority of servicer is %d", priority);  in workloop_cb_test_intransit()
356 	int priority;  in workloop_cb_test_knote_kill()  local
365 	priority = get_pri(mach_thread_self());  in workloop_cb_test_knote_kill()
366 	T_EXPECT_EQ(priority, 47, "Priority of servicer is %d", priority);  in workloop_cb_test_knote_kill()
373 	priority = get_pri(mach_thread_self());  in workloop_cb_test_knote_kill()
374 	T_EXPECT_EQ(priority, 47, "Priority of servicer is %d", priority);  in workloop_cb_test_knote_kill()
390 	int priority;  in workloop_cb_test_sync_bootstrap()  local
400 		priority = get_pri(mach_thread_self());  in workloop_cb_test_sync_bootstrap()
401 		T_EXPECT_EQ(priority, 47, "Priority of servicer is %d", priority);  in workloop_cb_test_sync_bootstrap()
410 			priority = get_pri(mach_thread_self());  in workloop_cb_test_sync_bootstrap()
411 		} while (priority != 47);  in workloop_cb_test_sync_bootstrap()
413 		T_EXPECT_EQ(priority, 47, "Priority of servicer is %d", priority);  in workloop_cb_test_sync_bootstrap()
423 		priority = get_pri(mach_thread_self());  in workloop_cb_test_sync_bootstrap()
424 		T_EXPECT_EQ(priority, 31, "Priority of servicer is %d", priority);  in workloop_cb_test_sync_bootstrap()