Searched refs:maxkvaddr (Results 1 – 10 of 10) sorted by relevance
425 pmap_growkernel(vaddr_t maxkvaddr) in pmap_growkernel() argument427 return (*pmap_growkernel_p)(maxkvaddr); in pmap_growkernel()
1097 pmap_growkernel(vaddr_t maxkvaddr) in pmap_growkernel() argument1108 if (maxkvaddr <= pmap_maxkvaddr) in pmap_growkernel()1117 for (i = VP_IDX1(pmap_maxkvaddr); i <= VP_IDX1(maxkvaddr - 1); i++) { in pmap_growkernel()1134 if (i == VP_IDX1(maxkvaddr - 1)) { in pmap_growkernel()1135 ub_idx2 = VP_IDX2(maxkvaddr - 1); in pmap_growkernel()1162 KASSERT(pmap_maxkvaddr >= maxkvaddr); in pmap_growkernel()
163 pmap_growkernel(vaddr_t maxkvaddr) in pmap_growkernel() argument167 if (maxkvaddr <= __pmap_kve) in pmap_growkernel()171 __pmap_kve = __PMAP_PTP_TRUNC(maxkvaddr); in pmap_growkernel()
1175 pmap_growkernel(vaddr_t maxkvaddr) in pmap_growkernel() argument1186 if (maxkvaddr <= pmap_maxkvaddr) in pmap_growkernel()1195 for (i = VP_IDX1(pmap_maxkvaddr); i <= VP_IDX1(maxkvaddr - 1); i++) { in pmap_growkernel()1212 if (i == VP_IDX1(maxkvaddr - 1)) { in pmap_growkernel()1213 ub_idx2 = VP_IDX2(maxkvaddr - 1); in pmap_growkernel()1240 KASSERT(pmap_maxkvaddr >= maxkvaddr); in pmap_growkernel()
2080 pmap_growkernel(vaddr_t maxkvaddr) in pmap_growkernel() argument2088 if (maxkvaddr <= pmap_curmaxkvaddr) in pmap_growkernel()2093 pmap_curmaxkvaddr, maxkvaddr)); in pmap_growkernel()2095 KDASSERT(maxkvaddr <= virtual_end); in pmap_growkernel()2104 for (; pmap_curmaxkvaddr < maxkvaddr; pmap_curmaxkvaddr += L1_S_SIZE) { in pmap_growkernel()
3051 pmap_growkernel(vaddr_t maxkvaddr) in pmap_growkernel() argument3058 if (maxkvaddr <= pmap_maxkvaddr) in pmap_growkernel()3061 maxkvaddr = x86_round_pdr(maxkvaddr); in pmap_growkernel()3068 target_nptp = pl_i(maxkvaddr, i + 1) - in pmap_growkernel()3096 pmap_maxkvaddr = maxkvaddr; in pmap_growkernel()3099 return maxkvaddr; in pmap_growkernel()
1400 pmap_growkernel(vaddr_t maxkvaddr) in pmap_growkernel() argument1405 if (maxkvaddr >= VM_MAX_KERNEL_ADDRESS) { in pmap_growkernel()1407 (void *)VM_MAX_KERNEL_ADDRESS, (void *)maxkvaddr); in pmap_growkernel()1412 for (kbreak &= (-1<<PDSHIFT); kbreak < maxkvaddr; in pmap_growkernel()
2936 pmap_growkernel(vaddr_t maxkvaddr) in pmap_growkernel() argument2946 if (maxkvaddr <= pmap_maxkvaddr) in pmap_growkernel()2951 while (va < maxkvaddr) { in pmap_growkernel()
1981 pmap_growkernel_pae(vaddr_t maxkvaddr) in pmap_growkernel_pae() argument1989 needed_kpde = (int)(maxkvaddr - VM_MIN_KERNEL_ADDRESS + (NBPD-1)) in pmap_growkernel_pae()
2558 pmap_growkernel_86(vaddr_t maxkvaddr) in pmap_growkernel_86() argument2565 needed_kpde = (int)(maxkvaddr - VM_MIN_KERNEL_ADDRESS + (NBPD-1)) in pmap_growkernel_86()