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