diff --git a/spm/cactus/cactus_interrupt.c b/spm/cactus/cactus_interrupt.c
index c7ad269..7926a08 100644
--- a/spm/cactus/cactus_interrupt.c
+++ b/spm/cactus/cactus_interrupt.c
@@ -8,6 +8,7 @@
 
 #include <ffa_helpers.h>
 #include <sp_helpers.h>
+#include <spm_helpers.h>
 
 int cactus_irq_handler(void)
 {