include/sysemu/replay.h

   1 #ifndef REPLAY_H
   2 #define REPLAY_H
   3
   4 /*
   5  * replay.h
   6  *
   7  * Copyright (c) 2010-2015 Institute for System Programming
   8  *                         of the Russian Academy of Sciences.
   9  *
  10  * This work is licensed under the terms of the GNU GPL, version 2 or later.
  11  * See the COPYING file in the top-level directory.
  12  *
  13  */
  14
  15 #include <stdbool.h>
  16 #include <stdint.h>
  17 #include "qapi-types.h"
  18
  19 extern ReplayMode replay_mode;
  20
  21 /* Processing the instructions */
  22
  23 /*! Returns number of executed instructions. */
  24 uint64_t replay_get_current_step(void);
  25 /*! Returns number of instructions to execute in replay mode. */
  26 int replay_get_instructions(void);
  27 /*! Updates instructions counter in replay mode. */
  28 void replay_account_executed_instructions(void);
  29
  30 #endif