diff options
Diffstat (limited to 'hw/core')
| -rw-r--r-- | hw/core/machine.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/hw/core/machine.c b/hw/core/machine.c index 5a65b9d88e..71a0e375ab 100644 --- a/hw/core/machine.c +++ b/hw/core/machine.c @@ -1110,6 +1110,11 @@ void machine_run_board_init(MachineState *machine) ObjectClass *oc = object_class_by_name(machine->cpu_type); CPUClass *cc; + /* This checkpoint is required by replay to separate prior clock + reading from the other reads, because timer polling functions query + clock values from the log. */ + replay_checkpoint(CHECKPOINT_INIT); + if (machine->ram_memdev_id) { Object *o; o = object_resolve_path_type(machine->ram_memdev_id, |