Searched refs:level_num (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | vspace_internal.h | 87 static int reserve_entries_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, argument
92 int index = INDEX_FOR_LEVEL(start, level_num);
94 uintptr_t aligned_start = start & ALIGN_FOR_LEVEL(level_num);
96 uintptr_t next_start = aligned_start + BYTES_FOR_LEVEL(level_num);
112 if (level_num == 1) {
129 if (level_num == 1) {
132 error = reserve_entries_mid(vspace, (vspace_mid_level_t *)next_table, level_num - 1, start, next_start,
160 static int clear_entries_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end, argument
165 int index = INDEX_FOR_LEVEL(start, level_num);
167 uintptr_t aligned_start = start & ALIGN_FOR_LEVEL(level_num);
211 update_entries_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end, seL4_CPtr cap, uintptr_t cookie) argument
266 is_reserved_or_empty_mid(vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end, uintptr_t good, uintptr_t bad) argument
[all...] |
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | vspace_internal.h | 87 static int reserve_entries_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, argument
92 int index = INDEX_FOR_LEVEL(start, level_num);
94 uintptr_t aligned_start = start & ALIGN_FOR_LEVEL(level_num);
96 uintptr_t next_start = aligned_start + BYTES_FOR_LEVEL(level_num);
112 if (level_num == 1) {
129 if (level_num == 1) {
132 error = reserve_entries_mid(vspace, (vspace_mid_level_t *)next_table, level_num - 1, start, next_start,
160 static int clear_entries_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end, argument
165 int index = INDEX_FOR_LEVEL(start, level_num);
167 uintptr_t aligned_start = start & ALIGN_FOR_LEVEL(level_num);
211 update_entries_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end, seL4_CPtr cap, uintptr_t cookie) argument
266 is_reserved_or_empty_mid(vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end, uintptr_t good, uintptr_t bad) argument
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/ |
| H A D | bootstrap.c | 162 static int reserve_range_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end) argument
166 int index = INDEX_FOR_LEVEL(start, level_num);
168 uintptr_t aligned_start = start & ALIGN_FOR_LEVEL(level_num);
170 uintptr_t next_start = aligned_start + BYTES_FOR_LEVEL(level_num);
182 if (level_num == 1) {
199 if (level_num == 1) {
202 error = reserve_range_mid(vspace, (vspace_mid_level_t *)next_table, level_num - 1, start, next_start);
|
| /seL4-refos-master/libs/libsel4utils/src/vspace/ |
| H A D | bootstrap.c | 162 static int reserve_range_mid(vspace_t *vspace, vspace_mid_level_t *level, int level_num, uintptr_t start, uintptr_t end) argument
166 int index = INDEX_FOR_LEVEL(start, level_num);
168 uintptr_t aligned_start = start & ALIGN_FOR_LEVEL(level_num);
170 uintptr_t next_start = aligned_start + BYTES_FOR_LEVEL(level_num);
182 if (level_num == 1) {
199 if (level_num == 1) {
202 error = reserve_range_mid(vspace, (vspace_mid_level_t *)next_table, level_num - 1, start, next_start);
|
Completed in 77 milliseconds