Searched refs:gate_already_owned_panic (Results 1 – 1 of 1) sorted by relevance
2055 gate_already_owned_panic(gate_t *gate, thread_t holder) in gate_already_owned_panic() function2087 gate_already_owned_panic(gate, holder); in gate_try_close()2114 gate_already_owned_panic(gate, holder); in gate_close()