Searched refs:reserve_range_bottom (Results 1 - 2 of 2) sorted by relevance
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/ |
| H A D | bootstrap.c | 141 static int reserve_range_bottom(vspace_t *vspace, vspace_bottom_level_t *level, uintptr_t start, uintptr_t end) function
200 error = reserve_range_bottom(vspace, (vspace_bottom_level_t *)next_table, start, next_start);
|
| /seL4-refos-master/libs/libsel4utils/src/vspace/ |
| H A D | bootstrap.c | 141 static int reserve_range_bottom(vspace_t *vspace, vspace_bottom_level_t *level, uintptr_t start, uintptr_t end) function
200 error = reserve_range_bottom(vspace, (vspace_bottom_level_t *)next_table, start, next_start);
|
Completed in 33 milliseconds