Searched refs:turnstile_get_type (Results 1 – 1 of 1) sorted by relevance
110 turnstile_get_type(struct turnstile *turnstile);205 turnstile_get_type(struct turnstile *turnstile) in turnstile_get_type() function221 if (turnstile_get_type(turnstile) == TURNSTILE_SYNC_IPC) { in turnstile_is_send_turnstile()238 if (turnstile_get_type(turnstile) == TURNSTILE_SYNC_IPC) { in turnstile_is_receive_turnstile()388 assert(turnstile_get_type(dst_ts) == turnstile_get_type(free_ts)); in turnstile_freelist_insert()1006 turnstile_get_type(thread_turnstile), 0, 0); in turnstile_prepare()1047 turnstile_get_type(thread_turnstile), 0, 0); in turnstile_prepare_compact_id()1078 turnstile_get_type(thread_turnstile), 0, 0); in turnstile_prepare_hash()1119 turnstile_get_type(thread_turnstile), 0, 0); in turnstile_complete_common()1254 turnstile_promote_policy[turnstile_get_type(turnstile)]; in turnstile_kernel_update_inheritor_on_wake_locked()[all …]