Searched refs:ESYNC_POLICY_KERNEL (Results 1 – 3 of 3) sorted by relevance
382 case ESYNC_POLICY_KERNEL: in esync_wait_set_block_hint()452 assert(sync->es_policy == ESYNC_POLICY_KERNEL || in esync_wait()454 turnstile_type_t tt = sync->es_policy == ESYNC_POLICY_KERNEL ? in esync_wait()533 assert(sync->es_policy == ESYNC_POLICY_KERNEL || in esync_wake()535 turnstile_type_t tt = sync->es_policy == ESYNC_POLICY_KERNEL ? in esync_wake()663 &server_counter, OWNER(old), ESYNC_POLICY_KERNEL, THREAD_UNINT); in test_lock()
115 ESYNC_POLICY_KERNEL = 2, enumerator
1637 policy = ESYNC_POLICY_KERNEL; in handle_response_wait()1642 policy = ESYNC_POLICY_KERNEL; in handle_response_wait()1777 exclaves_get_thread_counter(id), 0, ESYNC_POLICY_KERNEL, THREAD_UNINT); in handle_response_suspended()