00001 #if !defined(__SYSTEM_L4_MEMORY_HPP__) 00002 #define __SYSTEM_L4_MEMORY_HPP__ 00003 00004 // 00005 // L4 includes 00006 // 00007 #include <l4/sys/consts.h> 00008 00009 // 00010 // local includes 00011 // 00012 #include "core/types.hpp" 00013 00014 struct memory 00015 { 00016 static const l4_addr_t PAGE_MASK = L4_PAGEMASK; 00017 static const l4_addr_t PAGE_SIZE = L4_PAGESIZE; 00018 00019 static l4_hva_t phys2virt(l4_hpa_t phys); 00020 }; 00021 00022 #endif 00023 00024 // ***** end of source ***** // 00025