Searched refs:vm_kernel_top (Results 1 – 7 of 7) sorted by relevance
105 vm_offset_t vm_kernel_top; variable393 vm_kernel_top = (vm_offset_t) &last_kernel_symbol; in i386_vm_init()433 vm_page_kernelcache_count = (unsigned int) (atop_64(vm_kernel_top - vm_kernel_base)); in i386_vm_init()
191 (retaddr < vm_kernel_stext) || (retaddr > vm_kernel_top)) {
304 extern vm_offset_t vm_kernel_top;
396 SECURITY_READ_ONLY_LATE(vm_offset_t) vm_kernel_top;1826 vm_kernel_top = (vm_offset_t) &last_kernel_symbol; in arm_vm_init()
100 SECURITY_READ_ONLY_LATE(vm_offset_t) vm_kernel_top;2071 vm_kernel_top = (vm_offset_t) &last_kernel_symbol; in arm_vm_init()
10119 || (retaddr < vm_kernel_stext) || (retaddr > vm_kernel_top)) { in vm_tag_bt()
11953 vm_kernel_base, vm_kernel_top);