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 14 int arch_pmap_init(kernel_args *ka) 15 { 16 dprintf("arch_pmap_init: entry\n"); 17 18 return 0; 19 } 20 21 int arch_pmap_init2(kernel_args *ka) 22 { 23 return 0; 24 } 25 26 int 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 37 int pmap_unmap_page(addr vaddr) 38 { 39 panic("pmap_unmap_page unimplemented!\n"); 40 return 0; 41 } 42 43 void 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 51 int pmap_get_page_mapping(addr vaddr, addr *paddr) 52 { 53 54 return 0; 55 } 56