@@ -1301,3 +1301,9 @@ mhp_pc_dimm_assigned_address(uint64_t addr) "0x%"PRIx64
# target-s390x/kvm.c
kvm_enable_cmma(int rc) "CMMA: enabling with result code %d"
kvm_clear_cmma(int rc) "CMMA: clearing with result code %d"
+
+# reverse-execution.c
+snap_callback(uint64_t time, const char *filename) "snapshot @%li -> %s"
+stop_callback(uint64_t time) "stopping @%li"
+rexec_stop_reverse_continue(void) "stop reverse continue."
+rexec_step_backward(uint64_t time, uint64_t stop) "stepping backward @%li stop @%li"