stage2/paging.h | raw changeset files shortlog |
1.1 --- a/stage2/paging.h Wed May 04 22:57:56 2016 +0200 1.2 +++ b/stage2/paging.h Wed May 04 23:04:58 2016 +0200 1.3 @@ -4,4 +4,14 @@ 1.4 #define page_table_start 0x81400000 1.5 #define page_table_task_size 0x00008000 1.6 1.7 +#define USER_ADDRESS_MASK 0x7fffffff 1.8 + 1.9 +#ifndef __ASSEMBLER__ 1.10 + 1.11 +#include "xburst_types.h" 1.12 + 1.13 +u32 user_address(u32 addr); 1.14 + 1.15 +#endif /* __ASSEMBLER__ */ 1.16 + 1.17 #endif /* __PAGING_H__ */