2 ** Copyright 2001, Travis Geiselbrecht. All rights reserved.
3 ** Distributed under the terms of the NewOS License.
5 #include <kernel/kernel.h>
6 #include <kernel/debug.h>
7 #include <boot/stage2.h>
9 int arch_vm_init(kernel_args
*ka
)
14 int arch_vm_init2(kernel_args
*ka
)
19 int map_page_into_kspace(addr paddr
, addr kaddr
, int lock
)
21 panic("map_page_into_kspace: XXX finish or dont use!\n");