Searched refs:vm_kernel_base_page (Results 1 – 2 of 2) sorted by relevance
103 ppnum_t vm_kernel_base_page; variable272 vm_kernel_base_page = i386_btop(args->kaddr); in i386_vm_init()619 (top < vm_kernel_base_page)) { in i386_vm_init()
1098 extern ppnum_t vm_kernel_base_page;1124 pmap_memory_regions[i].end < vm_kernel_base_page; in pmap_lowmem_finalize()