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~
