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 12 #endif /* __ASSEMBLER__ */ 13 14 #endif /* __PAGING_H__ */