PTRS_KERN_TABLE
pte_t kernel_pte_tables[PTRS_KERN_TABLE] __page_aligned_bss;
for (i = 0; i < PTRS_KERN_TABLE; i++)