Searched refs:gate_destroy_owned_panic (Results 1 – 1 of 1) sorted by relevance
2627 gate_destroy_owned_panic(gate_t *gate, thread_t holder) in gate_destroy_owned_panic() function2656 gate_destroy_owned_panic(gate, holder); in gate_destroy_internal()