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

/barrelfish-master/usr/monitor/include/
H A Dmonitor.h41 typedef uint64_t mon_id_t; typedef
/barrelfish-master/usr/monitor/
H A Dinter.c300 cap_send_request(struct intermon_binding *b, mon_id_t my_mon_id,

Completed in 88 milliseconds