Searched refs:MSG_TELL_RANDOM_SEED (Results 1 – 3 of 3) sorted by relevance
156 $MSG_TELL_RANDOM_SEED,516 } elsif ($msg_id == $MSG_TELL_RANDOM_SEED) {
44 MSG_TELL_RANDOM_SEED, enumerator
1331 … char *p = (char *)remote.new_send_queue_msg(MSG_TELL_RANDOM_SEED, sizeof(short)+sizeof(int32_t)); in is_mp_sync()1358 … char *p = (char *)remote.new_send_queue_msg(MSG_TELL_RANDOM_SEED, sizeof(short)+sizeof(int32_t)); in is_mp_sync()