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

/barrelfish-master/usr/monitor/include/
H A Dmonitor.h187 errval_t rsrc_set_phase(rsrcid_t id, uintptr_t phase);
/barrelfish-master/usr/monitor/
H A Dresource_ctrl.c401 errval_t rsrc_set_phase(rsrcid_t id, uintptr_t phase) function
H A Dmonitor_rpc_server.c117 err = rsrc_set_phase(id, phase);

Completed in 109 milliseconds