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