|
@@ -7,13 +7,14 @@ bool replay_events_enabled(void)
|
|
return false;
|
|
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();
|
|
abort();
|
|
return 0;
|
|
return 0;
|
|
}
|
|
}
|
|
|
|
|
|
-int64_t replay_read_clock(unsigned int kind, int64_t raw_icount)
|
|
|
|
|
|
+int64_t replay_read_clock(ReplayClockKind kind, int64_t raw_icount)
|
|
{
|
|
{
|
|
abort();
|
|
abort();
|
|
return 0;
|
|
return 0;
|
|
@@ -48,11 +49,11 @@ void replay_mutex_unlock(void)
|
|
{
|
|
{
|
|
}
|
|
}
|
|
|
|
|
|
-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, uint8_t *buf, int len)
|
|
{
|
|
{
|
|
abort();
|
|
abort();
|
|
}
|
|
}
|