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
8#include <kernel/arch/pmap.h>
9
10#include <nulibc/string.h>
11
12#define CHATTY_PMAP 0
13
14int arch_pmap_init(kernel_args *ka)
15{
16	dprintf("arch_pmap_init: entry\n");
17
18	return 0;
19}
20
21int arch_pmap_init2(kernel_args *ka)
22{
23	return 0;
24}
25
26int pmap_map_page(addr paddr, addr vaddr, int lock)
27{
28#if CHATTY_PMAP
29	dprintf("pmap_map_page: entry paddr 0x%x vaddr 0x%x lock 0x%x\n", paddr, vaddr, lock);
30#endif
31
32	arch_pmap_invl_page(vaddr);
33
34	return 0;
35}
36
37int pmap_unmap_page(addr vaddr)
38{
39	panic("pmap_unmap_page unimplemented!\n");
40	return 0;
41}
42
43void arch_pmap_invl_page(addr vaddr)
44{
45#if CHATTY_PMAP
46	dprintf("arch_pmap_invl_page: vaddr 0x%x\n", vaddr);
47#endif
48	return;
49}
50
51int pmap_get_page_mapping(addr vaddr, addr *paddr)
52{
53
54	return 0;
55}
56