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
9int arch_vm_init(kernel_args *ka)
10{
11	return 0;
12}
13
14int arch_vm_init2(kernel_args *ka)
15{
16	return 0;
17}
18
19int 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