Searched refs:ret_vaddr (Results 1 - 2 of 2) sorted by relevance
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/ |
| H A D | vspace.c | 401 void *ret_vaddr; local
405 ret_vaddr = find_range(data, num_pages, size_bits);
406 if (ret_vaddr == NULL) {
411 ret_vaddr, num_pages, size_bits,
414 if (clear_entries(vspace, (uintptr_t)ret_vaddr, size_bits) != 0) {
416 ret_vaddr, BIT(size_bits));
421 return ret_vaddr;
510 void *ret_vaddr; local
514 ret_vaddr = find_range(data, num_pages, size_bits);
515 if (ret_vaddr
[all...] |
| /seL4-refos-master/libs/libsel4utils/src/vspace/ |
| H A D | vspace.c | 401 void *ret_vaddr; local
405 ret_vaddr = find_range(data, num_pages, size_bits);
406 if (ret_vaddr == NULL) {
411 ret_vaddr, num_pages, size_bits,
414 if (clear_entries(vspace, (uintptr_t)ret_vaddr, size_bits) != 0) {
416 ret_vaddr, BIT(size_bits));
421 return ret_vaddr;
510 void *ret_vaddr; local
514 ret_vaddr = find_range(data, num_pages, size_bits);
515 if (ret_vaddr
[all...] |
Completed in 35 milliseconds