+#if LnT_ENABLED(1)
+ assert(mkl1t(ptep++, 0, KERNEL_PGTAB));
+#elif LnT_ENABLED(2)
+ assert(mkl2t(ptep++, 0, KERNEL_PGTAB));
+#elif LnT_ENABLED(3)
+ assert(mkl3t(ptep++, 0, KERNEL_PGTAB));
+#else
+ assert(mklft(ptep++, 0, KERNEL_PGTAB));
+#endif
+ } while (++i < MAX_PTEN);