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

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Dwm_msgs.h171 int awake_ids[MAX_PROCS]; member in struct:__anon1671
H A Dworker.c995 host_status.awake_ids[i] = host_status_msg->awake_ids[i];
1849 Make_Integer(awake_list,host_status.awake_ids[i])
H A Dwm.c1267 stat_msg->awake_ids[awake_count] = lw->index;

Completed in 42 milliseconds