diff options
Diffstat (limited to 'qemu/replay/replay-time.c')
-rw-r--r-- | qemu/replay/replay-time.c | 65 |
1 files changed, 0 insertions, 65 deletions
diff --git a/qemu/replay/replay-time.c b/qemu/replay/replay-time.c deleted file mode 100644 index fffe072c5..000000000 --- a/qemu/replay/replay-time.c +++ /dev/null @@ -1,65 +0,0 @@ -/* - * replay-time.c - * - * Copyright (c) 2010-2015 Institute for System Programming - * of the Russian Academy of Sciences. - * - * This work is licensed under the terms of the GNU GPL, version 2 or later. - * See the COPYING file in the top-level directory. - * - */ - -#include "qemu/osdep.h" -#include "qemu-common.h" -#include "sysemu/replay.h" -#include "replay-internal.h" -#include "qemu/error-report.h" - -int64_t replay_save_clock(ReplayClockKind kind, int64_t clock) -{ - replay_save_instructions(); - - if (replay_file) { - replay_mutex_lock(); - replay_put_event(EVENT_CLOCK + kind); - replay_put_qword(clock); - replay_mutex_unlock(); - } - - return clock; -} - -void replay_read_next_clock(ReplayClockKind kind) -{ - unsigned int read_kind = replay_data_kind - EVENT_CLOCK; - - assert(read_kind == kind); - - int64_t clock = replay_get_qword(); - - replay_check_error(); - replay_finish_event(); - - replay_state.cached_clock[read_kind] = clock; -} - -/*! Reads next clock event from the input. */ -int64_t replay_read_clock(ReplayClockKind kind) -{ - replay_account_executed_instructions(); - - if (replay_file) { - int64_t ret; - replay_mutex_lock(); - if (replay_next_event_is(EVENT_CLOCK + kind)) { - replay_read_next_clock(kind); - } - ret = replay_state.cached_clock[kind]; - replay_mutex_unlock(); - - return ret; - } - - error_report("REPLAY INTERNAL ERROR %d", __LINE__); - exit(1); -} |