Lines Matching refs:monitor_binding
35 struct monitor_binding *monitor_binding;
42 static struct monitor_binding *requester_monitor_binding = NULL;
64 static void bfscope_monitor_flush_ack_handler(struct monitor_binding *mb)
112 static void bfscope_monitor_flush_send_handler(struct monitor_binding *mb, iref_t iref)
187 struct monitor_binding *monitor_binding = state->monitor_binding;
189 err = monitor_binding->tx_vtbl.bfscope_flush_send(monitor_binding, MKCONT(free, state), 0);
192 event_mutex_unlock(&monitor_binding->mutex);
194 err = monitor_binding->register_send(monitor_binding, monitor_binding->waitset, MKCONT(&bfscope_send_flush_msg_to_bfscope, state));
197 event_mutex_unlock(&monitor_binding->mutex);
221 errval_t err = iref_get_binding(iref, &state->monitor_binding);
226 event_mutex_enqueue_lock(&state->monitor_binding->mutex, &state->qnode, MKCLOSURE(&bfscope_send_flush_msg_to_bfscope, state));
274 errval_t bfscope_monitor_init(struct monitor_binding *mb)