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