diff --git a/exec.c b/exec.c
index be93ebb..05ad67d 100644
--- a/exec.c
+++ b/exec.c
@@ -503,7 +503,8 @@
 {
     hwaddr phys = cpu_get_phys_page_debug(cpu, pc);
     if (phys != -1) {
-        tb_invalidate_phys_addr(phys | (pc & ~TARGET_PAGE_MASK));
+        tb_invalidate_phys_addr(&address_space_memory,
+                                phys | (pc & ~TARGET_PAGE_MASK));
     }
 }
 #endif