Searched refs:vm_kernel_top (Results 1 – 6 of 6) sorted by relevance
104 vm_offset_t vm_kernel_top; variable392 vm_kernel_top = (vm_offset_t) &last_kernel_symbol; in i386_vm_init()432 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)) {
292 extern vm_offset_t vm_kernel_top;
100 SECURITY_READ_ONLY_LATE(vm_offset_t) vm_kernel_top;2086 vm_kernel_top = (vm_offset_t) &last_kernel_symbol; in arm_vm_init()
9122 || (retaddr < vm_kernel_stext) || (retaddr > vm_kernel_top)) { in vm_tag_bt()
11771 vm_kernel_base, vm_kernel_top);