Searched refs:last_kernel_symbol (Results 1 – 4 of 4) sorted by relevance
45 void* last_kernel_symbol = NULL; variable
185 extern void *last_kernel_symbol;390 DPRINTF("kernel_top = %p\n", (void *) &last_kernel_symbol); in i386_vm_init()393 vm_kernel_top = (vm_offset_t) &last_kernel_symbol; in i386_vm_init()
387 extern void *last_kernel_symbol;1826 vm_kernel_top = (vm_offset_t) &last_kernel_symbol; in arm_vm_init()
91 extern void *last_kernel_symbol;2071 vm_kernel_top = (vm_offset_t) &last_kernel_symbol; in arm_vm_init()