2016-10-03 | Paul Boddie | file changeset files shortlog | Attempt to properly use the GPIO set and clear registers. |
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@189 | 8 | #include "xburst_types.h" |
paul@189 | 9 | |
paul@189 | 10 | u32 user_address(u32 addr); |
paul@200 | 11 | u32 previous_page(u32 addr, u32 pagesize); |
paul@200 | 12 | u32 next_page(u32 addr, u32 pagesize); |
paul@204 | 13 | u32 page_size(u32 size); |
paul@189 | 14 | |
paul@189 | 15 | #endif /* __ASSEMBLER__ */ |
paul@189 | 16 | |
paul@151 | 17 | #endif /* __PAGING_H__ */ |