Searched refs:WSTAT_RESET (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Dwm_msgs.h56 #define WSTAT_RESET 24 macro
H A Dworker.c873 case WSTAT_RESET:
877 Notify("Got WSTAT_RESET message");
2090 send_simple_wm_message(w->wm_aport_id, WSTAT_RESET, 0);

Completed in 34 milliseconds