2 ** Copyright 2001, Travis Geiselbrecht. All rights reserved.
3 ** Distributed under the terms of the NewOS License.
5 #include <kernel/kernel.h>
6 #include <kernel/debug.h>
8 #include <kernel/arch/pmap.h>
10 #include <nulibc/string.h>
14 int arch_pmap_init(kernel_args
*ka
)
16 dprintf("arch_pmap_init: entry\n");
21 int arch_pmap_init2(kernel_args
*ka
)
26 int pmap_map_page(addr paddr
, addr vaddr
, int lock
)
29 dprintf("pmap_map_page: entry paddr 0x%x vaddr 0x%x lock 0x%x\n", paddr
, vaddr
, lock
);
32 arch_pmap_invl_page(vaddr
);
37 int pmap_unmap_page(addr vaddr
)
39 panic("pmap_unmap_page unimplemented!\n");
43 void arch_pmap_invl_page(addr vaddr
)
46 dprintf("arch_pmap_invl_page: vaddr 0x%x\n", vaddr
);
51 int pmap_get_page_mapping(addr vaddr
, addr
*paddr
)