Searched refs:ESYNC_POLICY_KERNEL (Results 1 – 3 of 3) sorted by relevance
399 assert(sync->es_policy == ESYNC_POLICY_KERNEL || in esync_wait()401 turnstile_type_t tt = sync->es_policy == ESYNC_POLICY_KERNEL ? in esync_wait()477 assert(sync->es_policy == ESYNC_POLICY_KERNEL || in esync_wake()479 turnstile_type_t tt = sync->es_policy == ESYNC_POLICY_KERNEL ? in esync_wake()605 &server_counter, OWNER(old), ESYNC_POLICY_KERNEL, THREAD_UNINT); in test_lock()
111 ESYNC_POLICY_KERNEL = 2, enumerator
1678 policy = ESYNC_POLICY_KERNEL; in handle_response_wait()1683 policy = ESYNC_POLICY_KERNEL; in handle_response_wait()1818 exclaves_get_thread_counter(id), 0, ESYNC_POLICY_KERNEL, THREAD_UNINT); in handle_response_suspended()