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)