From 4b322677fa6dcd07fa394e1be1e8cc17306bfcf1 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Fri, 12 Jun 2020 14:41:00 -0600
Subject: [PATCH] flush instruction cache on vfasl load

original commit: 57a7c47dcf1f602d208d14f51f456edb3e2689ae
---
 c/vfasl.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/c/vfasl.c b/c/vfasl.c
index e8419e6a97..22f4defb3b 100644
--- a/c/vfasl.c
+++ b/c/vfasl.c
@@ -541,6 +541,7 @@ ptr S_vfasl(ptr bv, void *stream, iptr offset, iptr input_len)
     ptr sym_base = vspaces[vspace_symbol];
     ptr code = TYPE(vspaces[vspace_code], type_typed_object);
     ptr code_end = TYPE(VSPACE_END(vspace_code), type_typed_object);
+    S_record_code_mod(tc, (uptr)code, (uptr)code_end - (uptr)code);
     while (code != code_end) {
       relink_code(code, sym_base, vspaces, vspace_offsets, to_static);
       code = ptr_add(code, size_code(CODELEN(code)));