Searched refs:uvm_maxkaddr (Results 1 – 4 of 4) sorted by relevance
355 if (uvm_maxkaddr < kmembase + kmemsize) { in uvm_km_bootstrap()356 uvm_maxkaddr = pmap_growkernel(kmembase + kmemsize); in uvm_km_bootstrap()357 KASSERTMSG(uvm_maxkaddr >= kmembase + kmemsize, in uvm_km_bootstrap()359 uvm_maxkaddr, kmembase, kmemsize); in uvm_km_bootstrap()839 KASSERTMSG(uvm_maxkaddr >= va + size, in uvm_km_kmem_alloc()841 uvm_maxkaddr, va, size); in uvm_km_kmem_alloc()
274 extern vaddr_t uvm_maxkaddr;
583 if (uvm_maxkaddr < (addr + size)) { in uvm_pageboot_alloc()584 uvm_maxkaddr = pmap_growkernel(addr + size); in uvm_pageboot_alloc()585 if (uvm_maxkaddr < (addr + size)) in uvm_pageboot_alloc()
160 vaddr_t uvm_maxkaddr; variable1224 if (map == kernel_map && uvm_maxkaddr < (start + size)) in uvm_map_prepare()1225 uvm_maxkaddr = pmap_growkernel(start + size); in uvm_map_prepare()