Searched defs:cap_send_request (Results 1 - 2 of 2) sorted by relevance

/barrelfish-2018-10-04/usr/monitor/
H A Dinter.c300 cap_send_request(struct intermon_binding *b, mon_id_t my_mon_id, function
H A Dmonitor_server.c832 cap_send_request(struct monitor_binding *b, uintptr_t my_mon_id, function

Completed in 39 milliseconds