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

/barrelfish-master/usr/monitor/
H A Dresource_ctrl.c85 static void send_phase_data_cont(struct intermon_binding *b, rsrcid_t id) function
132 send_phase_data_cont(b, st->args.id);
145 send_phase_data_cont(b, id);

Completed in 32 milliseconds