Searched refs:scheduler_data (Results 1 - 1 of 1) sorted by relevance
| /barrelfish-master/usr/eclipseclp/Kernel/src/ |
| H A D | sch_util.c | 180 scheduler_t scheduler_data[1]; local
185 wm_get_worker_info((int) v_wid.nint, 1, bufsize, (void_ptr) scheduler_data);
201 Make_Integer(cur_head,scheduler_data->smsg_subcount[i])
223 Make_Integer(cur_head,scheduler_data->smsg_count_intra_shortcut)
241 Make_Integer(cur_head,scheduler_data->smsg_count_intra)
259 Make_Integer(cur_head,scheduler_data->smsg_count_snd)
277 Make_Integer(cur_head,scheduler_data->smsg_count_hdl)
295 Make_Integer(cur_head,scheduler_data->state_donate)
313 Make_Integer(cur_head,scheduler_data->lmp)
331 Make_Integer(cur_head,scheduler_data
[all...] |
Completed in 26 milliseconds