Searched refs:vm_kernel_top (Results 1 – 7 of 7) 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()
65 vm_offset_t vm_kernel_top; variable574 vm_kernel_top = (vm_offset_t) &last_kernel_symbol; in arm_vm_init()
187 (retaddr < vm_kernel_stext) || (retaddr > vm_kernel_top)) {
287 extern vm_offset_t vm_kernel_top;
101 SECURITY_READ_ONLY_LATE(vm_offset_t) vm_kernel_top;2045 vm_kernel_top = (vm_offset_t) &last_kernel_symbol; in arm_vm_init()
8936 || (retaddr < vm_kernel_stext) || (retaddr > vm_kernel_top)) { in vm_tag_bt()
10764 vm_kernel_base, vm_kernel_top);