Searched refs:send_phase_data (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/usr/monitor/ | ||
H A D | resource_ctrl.c | 139 static void send_phase_data(rsrcid_t id, coreid_t coreid) function 158 send_phase_data(id, i); 175 send_phase_data(id, coreid); |
Completed in 35 milliseconds