--- sys/amd64/amd64/pmap.c.orig +++ sys/amd64/amd64/pmap.c @@ -2015,8 +2015,7 @@ if ((cpu_stdext_feature2 & CPUID_STDEXT2_LA57) == 0) return; - if (!TUNABLE_INT_FETCH("vm.pmap.la57", &la57)) - la57 = 1; + TUNABLE_INT_FETCH("vm.pmap.la57", &la57); if (!la57) return;