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

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Dwm_msgs.h82 #define WORKER_INFO_GET 2 macro
H A Dworker.c1049 case WORKER_INFO_GET:
1050 Notify("Got WORKER_INFO_GET message");
1938 worker_info_mess->header.msg_type = WORKER_INFO_GET;
H A Dwm.c1473 else if(worker_info_msg->header.msg_type == WORKER_INFO_GET)
1475 Notify("WM: Got WORKER_INFO_GET message\n");

Completed in 102 milliseconds