From 1c4534637d5882b5c0d19d569271468df52d1b07 Mon Sep 17 00:00:00 2001
From: mwojcik <mw@m-labs.hk>
Date: Fri, 23 Jan 2026 10:15:24 +0800
Subject: [PATCH] rtio_acp: fix batch not remapping back for 0 events

---
 src/libksupport/src/kernel/rtio_acp.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/libksupport/src/kernel/rtio_acp.rs b/src/libksupport/src/kernel/rtio_acp.rs
index 7aab690..0cf044d 100644
--- a/src/libksupport/src/kernel/rtio_acp.rs
+++ b/src/libksupport/src/kernel/rtio_acp.rs
@@ -320,6 +320,7 @@ pub extern "C" fn batch_end() {
     unsafe {
         if OUT_BUFFER.ptr == 0 {
             OUT_BUFFER.running = BATCH_DISABLED;
+            mmu::remap_section(&__rtio_page as *const _ as u32, &__rtio_page as *const _ as u32);
             return;
         }
         // dmb and send event (commit the event to gateware)