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

/barrelfish-master/usr/monitor/include/
H A Dmonitor.h186 errval_t rsrc_submit_manifest(rsrcid_t id, char *manifest);
/barrelfish-master/usr/monitor/
H A Dresource_ctrl.c230 errval_t rsrc_submit_manifest(rsrcid_t id, char *manifest) function
H A Dmonitor_rpc_server.c105 err = rsrc_submit_manifest(id, (CONST_CAST)str);

Completed in 39 milliseconds