diff --git a/env/iss/platform.h b/env/iss/platform.h
index 6c70be3..827fcc7 100644
--- a/env/iss/platform.h
+++ b/env/iss/platform.h
@@ -22,6 +22,9 @@
 
 #include <stdint.h>
 
+extern volatile uintptr_t tohost;
+extern volatile uintptr_t fromhost;
+
 void init_pll(void);
 unsigned long get_cpu_freq(void);
 unsigned long get_timer_freq(void);