Searched refs:monitor_client_setup_mem_serv (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/usr/monitor/include/
H A Dmonitor_server.h14 errval_t monitor_client_setup_mem_serv(void);
/barrelfish-master/usr/monitor/
H A Dmain.c62 err = monitor_client_setup_mem_serv();
H A Dmonitor_server.c1046 errval_t monitor_client_setup_mem_serv(void) function
1055 USER_PANIC_ERR(err, "monitor_client_setup_mem_serv");

Completed in 33 milliseconds