diff --git a/src/target/adiv5.h b/src/target/adiv5.h
index 189869b0492..e0a7ef2c111 100644
--- a/src/target/adiv5.h
+++ b/src/target/adiv5.h
@@ -23,6 +23,10 @@
 
 #include "jtag_scan.h"
 
+#if PC_HOSTED == 1
+#include "platform.h"
+#endif
+
 #define ADIV5_APnDP       0x100
 #define ADIV5_DP_REG(x)   (x)
 #define ADIV5_AP_REG(x)   (ADIV5_APnDP | (x))