Searched refs:WAKEUP_WORKERS (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-master/usr/eclipseclp/Kernel/src/ | ||
| H A D | wm_msgs.h | 76 #define WAKEUP_WORKERS 3 macro |
| H A D | worker.c | 1657 config_msg->header.msg_type = WAKEUP_WORKERS; |
Completed in 37 milliseconds