1 #ifndef __PAGING_H__ 2 #define __PAGING_H__ 3 4 #define page_table_start 0x81400000 5 #define page_table_task_size 0x00008000 6 7 #endif /* __PAGING_H__ */