diff --git a/exec.c b/exec.c
index 5bd3045..cbadca4 100644
--- a/exec.c
+++ b/exec.c
@@ -564,6 +564,12 @@
         memory_listener_register(&newas->tcg_as_listener, as);
     }
 }
+
+AddressSpace *cpu_get_address_space(CPUState *cpu, int asidx)
+{
+    /* Return the AddressSpace corresponding to the specified index */
+    return cpu->cpu_ases[asidx].as;
+}
 #endif
 
 #ifndef CONFIG_USER_ONLY