Searched refs:new_end (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dvspace.c670 uintptr_t new_end = ROUND_UP(((uintptr_t)(vaddr)) + bytes, PAGE_SIZE_4K); local
679 if (new_end > res->end) {
680 if (!is_available_range(data->top_level, res->end, new_end)) {
685 for (v = new_start; v < new_end; v += PAGE_SIZE_4K) {
697 if (v < new_start || v >= new_end) {
703 v = new_end - PAGE_SIZE_4K;
713 res->end = new_end;
/seL4-refos-master/libs/libsel4utils/src/vspace/
H A Dvspace.c670 uintptr_t new_end = ROUND_UP(((uintptr_t)(vaddr)) + bytes, PAGE_SIZE_4K); local
679 if (new_end > res->end) {
680 if (!is_available_range(data->top_level, res->end, new_end)) {
685 for (v = new_start; v < new_end; v += PAGE_SIZE_4K) {
697 if (v < new_start || v >= new_end) {
703 v = new_end - PAGE_SIZE_4K;
713 res->end = new_end;

Completed in 77 milliseconds