return false;
}
-int64_t replay_save_clock(unsigned int kind, int64_t clock, int64_t raw_icount)
+int64_t replay_save_clock(ReplayClockKind kind,
+ int64_t clock, int64_t raw_icount)
{
abort();
return 0;
}
-int64_t replay_read_clock(unsigned int kind)
+int64_t replay_read_clock(ReplayClockKind kind, int64_t raw_icount)
{
abort();
return 0;
{
}
-void replay_register_char_driver(Chardev *chr)
+void replay_register_char_driver(struct Chardev *chr)
{
}
-void replay_chr_be_write(Chardev *s, uint8_t *buf, int len)
+void replay_chr_be_write(struct Chardev *s, const uint8_t *buf, int len)
{
abort();
}