Searched refs:vm_kernel_base_page (Results 1 – 2 of 2) sorted by relevance
102 ppnum_t vm_kernel_base_page; variable271 vm_kernel_base_page = i386_btop(args->kaddr); in i386_vm_init()618 (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()