Lines Matching refs:monitor_binding
334 static void bfscope_handle_flush_msg(struct monitor_binding *mb, iref_t iref)
343 struct monitor_binding *monitor_binding;
351 struct monitor_binding *monitor_binding = state->monitor_binding;
353 err = monitor_binding->tx_vtbl.bfscope_flush_ack(monitor_binding, MKCONT(free, state));
356 event_mutex_unlock(&monitor_binding->mutex);
358 err = monitor_binding->register_send(monitor_binding, monitor_binding->waitset, MKCONT(&bfscope_send_flush_ack_cont, state));
361 event_mutex_unlock(&monitor_binding->mutex);
377 state->monitor_binding = get_monitor_binding();
379 event_mutex_enqueue_lock(&state->monitor_binding->mutex, &state->qnode, MKCLOSURE(&bfscope_send_flush_ack_cont, state));
457 struct monitor_binding *monitor_binding;
458 monitor_binding = get_monitor_binding();
459 monitor_binding->rx_vtbl.bfscope_flush_send = &bfscope_handle_flush_msg;