1 /* 2 ** Copyright 2001, Travis Geiselbrecht. All rights reserved. 3 ** Distributed under the terms of the NewOS License. 4 */ 5 #include <kernel/kernel.h> 6 #include <kernel/debug.h> 7 #include <boot/stage2.h> 8 9 int arch_vm_init(kernel_args *ka) 10 { 11 return 0; 12 } 13 14 int arch_vm_init2(kernel_args *ka) 15 { 16 return 0; 17 } 18 19 int map_page_into_kspace(addr paddr, addr kaddr, int lock) 20 { 21 panic("map_page_into_kspace: XXX finish or dont use!\n"); 22 return 0; 23 } 24 25