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