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