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