NanoPayload

stage2/paging.h

216:95be7694d999
2017-06-28 Paul Boddie Employ structure member names to make initialisation clearer.
     1 #ifndef __PAGING_H__     2 #define __PAGING_H__     3      4 #define USER_ADDRESS_MASK	0x7fffffff     5      6 #ifndef __ASSEMBLER__     7      8 #include "xburst_types.h"     9     10 u32 user_address(u32 addr);    11 u32 previous_page(u32 addr, u32 pagesize);    12 u32 next_page(u32 addr, u32 pagesize);    13 u32 page_size(u32 size);    14     15 #endif /* __ASSEMBLER__ */    16     17 #endif /* __PAGING_H__ */