106 	unsigned long next;  in mark_kernel_pmd()  local
112 		next = pmd_addr_end(addr, end);  in mark_kernel_pmd()
117 	} while (pmd++, addr = next, addr != end);  in mark_kernel_pmd()
122 	unsigned long next;  in mark_kernel_pud()  local
129 		next = pud_addr_end(addr, end);  in mark_kernel_pud()
137 		mark_kernel_pmd(pud, addr, next);  in mark_kernel_pud()
138 	} while (pud++, addr = next, addr != end);  in mark_kernel_pud()
143 	unsigned long next;  in mark_kernel_p4d()  local
150 		next = p4d_addr_end(addr, end);  in mark_kernel_p4d()
158 		mark_kernel_pud(p4d, addr, next);  in mark_kernel_p4d()
159 	} while (p4d++, addr = next, addr != end);  in mark_kernel_p4d()
164 	unsigned long addr, next;  in mark_kernel_pgd()  local
172 		next = pgd_addr_end(addr, MODULES_END);  in mark_kernel_pgd()
180 		mark_kernel_p4d(pgd, addr, next);  in mark_kernel_pgd()
181 	} while (pgd++, addr = next, addr != MODULES_END);  in mark_kernel_pgd()