1 files changed, 0 insertions, 1 deletions
diff --git a/pk/frontend.h b/pk/frontend.h
index 65f3c47..ea5d244 100644
--- a/pk/frontend.h
+++ b/pk/frontend.h
@@ -20,7 +20,6 @@
 
 void die(int) __attribute__((noreturn));
 long frontend_syscall(long n, long a0, long a1, long a2, long a3, long a4, long a5, long a6);
-uint64_t tohost_sync(unsigned dev, unsigned cmd, uint64_t payload);
 
 struct frontend_stat {
   uint64_t dev;