Searched refs:max_kernel_seg (Results 1 – 4 of 4) sorted by relevance
86 if (pmdindex > max_kernel_seg) in pmd_populate_kernel()87 max_kernel_seg = pmdindex; in pmd_populate_kernel()
55 extern int max_kernel_seg;
65 for (l1 = MIN_KERNEL_SEG; l1 <= max_kernel_seg; l1++) in switch_mm()
27 int max_kernel_seg = 0x303; variable