Lines Matching refs:mb
95 struct waitset * flounder_support_get_current_monitor_waitset(struct monitor_binding *mb)
97 return mb->waitset;
100 errval_t flounder_support_change_monitor_waitset(struct monitor_binding *mb,
103 return mb->change_waitset(mb, ws);
106 void flounder_support_monitor_mutex_enqueue(struct monitor_binding *mb,
110 event_mutex_enqueue_lock(&mb->mutex, qn, cl);
113 void flounder_support_monitor_mutex_unlock(struct monitor_binding *mb)
115 event_mutex_unlock(&mb->mutex);
131 struct monitor_binding *mb,
141 err = mb->tx_vtbl.cap_move_request(mb, MKCONT(cap_send_cont, s),
145 err = mb->tx_vtbl.cap_send_request(mb, MKCONT(cap_send_cont, s),
149 thread_set_local_trigger(&mb->tx_cont_chanstate);
154 thread_set_local_trigger(&mb->tx_cont_chanstate); // not sure if this is
156 return mb->register_send(mb, mb->waitset, MKCONT(cap_send_cont, s));