Searched refs:gate_not_owned_panic (Results 1 – 1 of 1) sorted by relevance
2143 gate_not_owned_panic(gate_t *gate, thread_t holder, bool open) in gate_not_owned_panic() function2171 gate_not_owned_panic(gate, holder, true); in gate_open()2274 gate_not_owned_panic(gate, holder, false); in gate_handoff()