paul@151 | 1 | #ifndef __PAGING_H__ |
paul@151 | 2 | #define __PAGING_H__ |
paul@151 | 3 | |
paul@189 | 4 | #define USER_ADDRESS_MASK 0x7fffffff |
paul@189 | 5 | |
paul@189 | 6 | #ifndef __ASSEMBLER__ |
paul@189 | 7 | |
paul@217 | 8 | #include <stdint.h> |
paul@189 | 9 | |
paul@217 | 10 | uint32_t user_address(uint32_t addr); |
paul@217 | 11 | uint32_t previous_page(uint32_t addr, uint32_t pagesize); |
paul@217 | 12 | uint32_t next_page(uint32_t addr, uint32_t pagesize); |
paul@217 | 13 | uint32_t page_size(uint32_t size); |
paul@189 | 14 | |
paul@189 | 15 | #endif /* __ASSEMBLER__ */ |
paul@189 | 16 | |
paul@151 | 17 | #endif /* __PAGING_H__ */ |