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