1/* 2 * Copyright 2004-2005, Axel D��rfler, axeld@pinc-software.de. 3 * All rights reserved. Distributed under the terms of the MIT License. 4 */ 5#ifndef MMU_H 6#define MMU_H 7 8 9#include <SupportDefs.h> 10 11 12// For use with mmu_map_physical_memory() 13static const uint32 kDefaultPageFlags = 0x3; 14 // present, R/W 15 16 17#ifdef __cplusplus 18extern "C" { 19#endif 20 21extern void mmu_init(void* fdt); 22extern void mmu_init_for_kernel(void); 23extern addr_t mmu_map_physical_memory(addr_t physicalAddress, 24 size_t size, uint32 flags); 25extern void *mmu_allocate(void *virtualAddress, size_t size); 26extern void mmu_free(void *virtualAddress, size_t size); 27 28#ifdef __cplusplus 29} 30#endif 31 32 33#endif /* MMU_H */ 34