Fix argument to PUSH_D_CACHE_REGION.

Takes startptr/count, not startptr/endptr.

This was not an issue before because until aarch64, the only extant
port that even used this, i386, ignored the argument as a macro and
flushed the entire cache.

diff --git a/src/microcode/cmpint.c b/src/microcode/cmpint.c
index b8181497e607643ded41ed8e515b58a158c3aeaa..fad1583d505bdce531d0df0fad4179f87d45b72d 100644 (file)
--- a/src/microcode/cmpint.c
+++ b/src/microcode/cmpint.c
@@ -1972,7 +1972,7 @@ void
 declare_compiled_code_block (SCHEME_OBJECT block)
 {
 #ifdef PUSH_D_CACHE_REGION
-  PUSH_D_CACHE_REGION ((OBJECT_ADDRESS (block)), (CC_BLOCK_END (block)));
+  PUSH_D_CACHE_REGION ((OBJECT_ADDRESS (block)), (CC_BLOCK_LENGTH (block)));
 #endif
 }