Searched refs:EVENT_RANDOM (Results 1 – 2 of 2) sorted by relevance
22 replay_put_event(EVENT_RANDOM); in replay_save_random()33 if (replay_next_event_is(EVENT_RANDOM)) { in replay_read_random()
57 EVENT_RANDOM, enumerator