Searched refs:get_monitor_rpc_ep_request (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/usr/monitor/
H A Dmonitor_server.c664 static void get_monitor_rpc_ep_request(struct monitor_binding *b, function
991 .get_monitor_rpc_ep_request = get_monitor_rpc_ep_request,
/barrelfish-master/lib/barrelfish/
H A Dmonitor_client.c388 err = mb->tx_vtbl.get_monitor_rpc_ep_request(mb, NOP_CONT, (uintptr_t) &st);

Completed in 131 milliseconds