From 5feca574fc1beee0a9bf0768e7b63c1c8f39930b Mon Sep 17 00:00:00 2001
From: Romain Malmain <romain.malmain@pm.me>
Date: Fri, 2 May 2025 14:43:34 +0200
Subject: [PATCH] forgot include

---
 linux-user/ppc/cpu_loop.c   | 6 ++++++
 linux-user/riscv/cpu_loop.c | 6 ++++++
 2 files changed, 12 insertions(+)

diff --git a/linux-user/ppc/cpu_loop.c b/linux-user/ppc/cpu_loop.c
index 78a397219c..0ad95b68a9 100644
--- a/linux-user/ppc/cpu_loop.c
+++ b/linux-user/ppc/cpu_loop.c
@@ -24,6 +24,12 @@
 #include "user/cpu_loop.h"
 #include "signal-common.h"
 
+//// --- Begin LibAFL code ---
+
+#include "libafl/exit.h"
+
+//// --- End LibAFL code ---
+
 static inline uint64_t cpu_ppc_get_tb(CPUPPCState *env)
 {
     return cpu_get_host_ticks();
diff --git a/linux-user/riscv/cpu_loop.c b/linux-user/riscv/cpu_loop.c
index 20d617e56f..4e98929e71 100644
--- a/linux-user/riscv/cpu_loop.c
+++ b/linux-user/riscv/cpu_loop.c
@@ -26,6 +26,12 @@
 #include "elf.h"
 #include "semihosting/common-semi.h"
 
+//// --- Begin LibAFL code ---
+
+#include "libafl/exit.h"
+
+//// --- End LibAFL code ---
+
 void cpu_loop(CPURISCVState *env)
 {
     CPUState *cs = env_cpu(env);