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

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Dwm_msgs.h107 int msg_value; member in struct:__anon1662
H A Dwm.c964 amsg_ret_t send_simple_wm_message(port_id,msg_type,msg_value)
967 int msg_value;
986 wm_simple_msg->msg_value = msg_value;
1331 int msg_value; local
1357 msg_value = wm_simple_msg->msg_value;
1375 cur = get_worker(msg_value);
1376 mc = get_mc_id(msg_value);
H A Dworker.c754 void send_simple_wm_message(port_id,msg_type,msg_value)
757 int msg_value;
774 wm_mess_hdr->msg_value = msg_value;
863 config_ret = wm_simple_msg->msg_value;
2046 wm_simple_msg->msg_value = vwid.nint;

Completed in 89 milliseconds