diff options
| author | vetch <vetch97@gmail.com> | 2020-01-13 12:40:38 +0100 |
|---|---|---|
| committer | vetch <vetch97@gmail.com> | 2020-01-13 12:40:38 +0100 |
| commit | 1af7591e37d09ddcd734ea07d0e999cf61c8bc5e (patch) | |
| tree | a56c73c9eddeb148baffc3a31bf50edbbeb31074 /src/arm/PL1/kernel/paging.h | |
| parent | 300cf770698142b636da867b7e04bf2d6ae9baa4 (diff) | |
| download | rpi-MMU-example-1af7591e37d09ddcd734ea07d0e999cf61c8bc5e.tar.gz rpi-MMU-example-1af7591e37d09ddcd734ea07d0e999cf61c8bc5e.zip | |
Great Reorganisation, modify structure and makefile
Diffstat (limited to 'src/arm/PL1/kernel/paging.h')
| -rw-r--r-- | src/arm/PL1/kernel/paging.h | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/arm/PL1/kernel/paging.h b/src/arm/PL1/kernel/paging.h new file mode 100644 index 0000000..4ac8efa --- /dev/null +++ b/src/arm/PL1/kernel/paging.h @@ -0,0 +1,14 @@ +#ifndef PAGING_H +#define PAGING_H + +void setup_flat_map(void); + +void setup_pager_structures(uint32_t available_mem); + +#define SECTION_NULL 0xffff + +// returns section number or SECTION_NULL in case of failure +uint16_t claim_and_map_section +(void *owner, uint16_t where_to_map, uint8_t access_permissions); + +#endif // PAGING_H |