On 3/6/25 15:41, Richard Henderson wrote:
diff --git a/page-vary-target.c b/page-vary-target.c
index 343b4adb95..1b4a9a10be 100644
--- a/page-vary-target.c
+++ b/page-vary-target.c
@@ -37,5 +37,7 @@ void finalize_target_page_bits(void)
  {
  #ifdef TARGET_PAGE_BITS_VARY
      finalize_target_page_bits_common(TARGET_PAGE_BITS_MIN);
+#else
+    finalize_target_page_bits_common(TARGET_PAGE_BITS);
  #endif
  }

Actually, the ifdef here should be removed.
TARGET_PAGE_BITS_MIN is always correct.

r~

Reply via email to