diff --git a/linux-user/arm/cpu_loop.c b/linux-user/arm/cpu_loop.c
index 773e95f415..1b9ebad0c5 100644
--- a/linux-user/arm/cpu_loop.c
+++ b/linux-user/arm/cpu_loop.c
@@ -28,6 +28,12 @@
 #include "user/page-protection.h"
 #include "target/arm/syndrome.h"
 
+//// --- Begin LibAFL code ---
+///
+#include "libafl/exit.h"
+
+//// --- End LibAFL code ---
+
 #define get_user_code_u32(x, gaddr, env)                \
     ({ abi_long __r = get_user_u32((x), (gaddr));       \
         if (!__r && bswap_code(arm_sctlr_b(env))) {     \
diff --git a/linux-user/hexagon/cpu_loop.c b/linux-user/hexagon/cpu_loop.c
index 696f70591e..f3fe881442 100644
--- a/linux-user/hexagon/cpu_loop.c
+++ b/linux-user/hexagon/cpu_loop.c
@@ -25,6 +25,12 @@
 #include "signal-common.h"
 #include "internal.h"
 
+//// --- Begin LibAFL code ---
+///
+#include "libafl/exit.h"
+
+//// --- End LibAFL code ---
+
 void cpu_loop(CPUHexagonState *env)
 {
     CPUState *cs = env_cpu(env);