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

/barrelfish-master/usr/monitor/include/
H A Dmonitor.h182 errval_t rsrc_new(rsrcid_t *id);
/barrelfish-master/usr/monitor/
H A Dresource_ctrl.c217 errval_t rsrc_new(rsrcid_t *id) function
H A Dmonitor_rpc_server.c96 err = rsrc_new(&id);

Completed in 37 milliseconds