Searched refs:reserve_range (Results 1 - 2 of 2) sorted by relevance
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/ |
| H A D | bootstrap.c | 213 static int reserve_range(vspace_t *vspace, uintptr_t start, uintptr_t end) function
244 if (reserve_range(vspace, va_start, va_end)) {
252 if (reserve_range(vspace, (uintptr_t) existing_frames[i], (uintptr_t) existing_frames[i]
279 if (reserve_range(vspace, VSPACE_RESERVE_START, VSPACE_RESERVE_START + VSPACE_RESERVE_SIZE)) {
|
| /seL4-refos-master/libs/libsel4utils/src/vspace/ |
| H A D | bootstrap.c | 213 static int reserve_range(vspace_t *vspace, uintptr_t start, uintptr_t end) function
244 if (reserve_range(vspace, va_start, va_end)) {
252 if (reserve_range(vspace, (uintptr_t) existing_frames[i], (uintptr_t) existing_frames[i]
279 if (reserve_range(vspace, VSPACE_RESERVE_START, VSPACE_RESERVE_START + VSPACE_RESERVE_SIZE)) {
|
Completed in 31 milliseconds