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