X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fruntime%2Fpurify.c;h=1c92c0a080b46b73011bafefb9f7a69e681c567b;hb=0e35b321b97477bcfedaa1a5aed1fa87d635d262;hp=6f3bb4213377c7940b73883bb2bf33f60305f3a9;hpb=cacfac8c22699a62fefab099866b65f490478571;p=sbcl.git

diff --git a/src/runtime/purify.c b/src/runtime/purify.c
index 6f3bb42..1c92c0a 100644
--- a/src/runtime/purify.c
+++ b/src/runtime/purify.c
@@ -1599,6 +1599,10 @@ purify(lispobj static_roots, lispobj read_only_roots)
 #endif
 #endif
 
+    /* Blast away instruction cache */
+    os_flush_icache((os_vm_address_t)READ_ONLY_SPACE_START, READ_ONLY_SPACE_SIZE);
+    os_flush_icache((os_vm_address_t)STATIC_SPACE_START, STATIC_SPACE_SIZE);
+
 #ifdef PRINTNOISE
     printf(" done]\n");
     fflush(stdout);