virtio-pci: address space translation service (ATS) support
[qemu.git] / replay / replay-time.c
1 /*
2 * replay-time.c
3 *
4 * Copyright (c) 2010-2015 Institute for System Programming
5 * of the Russian Academy of Sciences.
6 *
7 * This work is licensed under the terms of the GNU GPL, version 2 or later.
8 * See the COPYING file in the top-level directory.
9 *
10 */
11
12 #include "qemu/osdep.h"
13 #include "qemu-common.h"
14 #include "sysemu/replay.h"
15 #include "replay-internal.h"
16 #include "qemu/error-report.h"
17
18 int64_t replay_save_clock(ReplayClockKind kind, int64_t clock)
19 {
20 replay_save_instructions();
21
22 if (replay_file) {
23 replay_mutex_lock();
24 replay_put_event(EVENT_CLOCK + kind);
25 replay_put_qword(clock);
26 replay_mutex_unlock();
27 }
28
29 return clock;
30 }
31
32 void replay_read_next_clock(ReplayClockKind kind)
33 {
34 unsigned int read_kind = replay_state.data_kind - EVENT_CLOCK;
35
36 assert(read_kind == kind);
37
38 int64_t clock = replay_get_qword();
39
40 replay_check_error();
41 replay_finish_event();
42
43 replay_state.cached_clock[read_kind] = clock;
44 }
45
46 /*! Reads next clock event from the input. */
47 int64_t replay_read_clock(ReplayClockKind kind)
48 {
49 replay_account_executed_instructions();
50
51 if (replay_file) {
52 int64_t ret;
53 replay_mutex_lock();
54 if (replay_next_event_is(EVENT_CLOCK + kind)) {
55 replay_read_next_clock(kind);
56 }
57 ret = replay_state.cached_clock[kind];
58 replay_mutex_unlock();
59
60 return ret;
61 }
62
63 error_report("REPLAY INTERNAL ERROR %d", __LINE__);
64 exit(1);
65 }