Searched refs:MSG_U_SHIP_SET_STOP (Results 1 – 4 of 4) sorted by relevance
74 MSG_U_SHIP_SET_STOP, enumerator
186 $MSG_U_SHIP_SET_STOP,
1098 short *shortPtr = (short *) remote.new_send_queue_msg(MSG_U_SHIP_SET_STOP, 4*sizeof(short)); in set_stop()
1295 err_when( id != MSG_U_SHIP_SET_STOP ); in ship_set_stop()