Lines Matching +full:sync +full:- +full:read

5  * replay-internal.h
7  * Copyright (c) 2010-2015 Institute for System Programming
11  * See the COPYING file in the top-level directory.
43     EVENT_ASYNC_LAST = EVENT_ASYNC + REPLAY_ASYNC_COUNT - 1,
49     /* for character device read all event */
58     /* for clock read/writes */
61     EVENT_CLOCK_LAST = EVENT_CLOCK + REPLAY_CLOCK_COUNT - 1,
65     EVENT_CHECKPOINT_LAST = EVENT_CHECKPOINT + CHECKPOINT_COUNT - 1,
72  * typedef ReplayState - global tracking Replay state
87  * @read_event_id: current async read event id
124  * synchronisation between vCPU and main-loop threads. */
144 /*! Skips async events until some sync event will be found.
149     If clock kind read from the file is different from the parameter,
163 /*! Read events from the file into the input queue */
177 /*! Adds input sync event to the queue */
182 /*! Called to run char device read event. */
184 /*! Writes char read event to the file. */
186 /*! Reads char event read from the file. */
201  * replay_sync_error(): report sync error and exit
208 /* VMState-related functions */