1/* 2** Copyright 2001, Travis Geiselbrecht. All rights reserved. 3** Distributed under the terms of the NewOS License. 4*/ 5#ifndef _MMU_H 6#define _MMU_H 7 8#include <boot/stage2.h> 9 10void mmu_init(kernel_args *ka, unsigned int *next_paddr); 11void mmu_map_page(unsigned int vaddr, unsigned int paddr); 12 13#endif 14 15