/* 
** Copyright 2001, Travis Geiselbrecht. All rights reserved.
** Distributed under the terms of the NewOS License.
*/
#include <kernel/kernel.h>
#include <kernel/debug.h>
#include <boot/stage2.h>

int arch_vm_init(kernel_args *ka)
{
        return 0;
}

int arch_vm_init2(kernel_args *ka)
{
        return 0;
}

int map_page_into_kspace(addr paddr, addr kaddr, int lock)
{
        panic("map_page_into_kspace: XXX finish or dont use!\n");
        return 0;
}