Searched defs:max_to_publish (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/usr/eclipseclp/Kernel/src/ | ||
H A D | sch_types.h | 156 int max_to_publish; member in struct:scheduler_ds 173 int max_to_publish; member in struct:sch_status_ds |
Completed in 27 milliseconds