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

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Dwm_msgs.h88 #define SET_TRACE_HEADER 1 macro
H A Dworker.c906 Notify("Got SET_TRACE_HEADER message");
1024 else if (trace_msg->header.msg_type == SET_TRACE_HEADER)
2147 send_trace_header(wid, SET_TRACE_HEADER, theader);

Completed in 37 milliseconds