Searched refs:max_kernel_seg (Results 1 – 4 of 4) sorted by relevance
138 if (pmdindex > max_kernel_seg) in pmd_populate_kernel()139 max_kernel_seg = pmdindex; in pmd_populate_kernel()
68 extern int max_kernel_seg;
78 for (l1 = MIN_KERNEL_SEG; l1 <= max_kernel_seg; l1++) in switch_mm()
40 int max_kernel_seg = 0x303; variable
