2016-04-24 | Paul Boddie | file changeset files shortlog | Merged set_task into invoke_task, making sure that the ASID becomes set. |
paul@151 | 1 | #ifndef __PAGING_H__ |
paul@151 | 2 | #define __PAGING_H__ |
paul@151 | 3 | |
paul@151 | 4 | #define page_table_start 0x81400000 |
paul@151 | 5 | #define page_table_task_size 0x00008000 |
paul@151 | 6 | |
paul@151 | 7 | #endif /* __PAGING_H__ */ |