Searched refs:vspace_reserve_range_at (Results 1 - 7 of 7) sorted by relevance
/seL4-test-master/projects/seL4_libs/libsel4vspace/src/ |
H A D | vspace.c | 128 res = vspace_reserve_range_at(vspace, config->vaddr,
|
/seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
H A D | iommu_dma.c | 109 reservation_t res = vspace_reserve_range_at(dma->iospaces + i, (void *)addr, PAGE_SIZE_4K, seL4_AllRights, 1);
|
H A D | elf.c | 242 regions[i].reservation = vspace_reserve_range_at(loadee,
|
H A D | process.c | 408 region->reservation = vspace_reserve_range_at(vspace, region->elf_vstart,
|
/seL4-test-master/projects/seL4_libs/libsel4allocman/ |
H A D | example_bootstrap.c | 48 reservation_t *reservation = vspace_reserve_range_at(&vspace, VIRTUAL_START, MEM_POOL_SIZE, seL4_AllRights, 1);
|
/seL4-test-master/projects/seL4_libs/libsel4muslcsys/src/ |
H A D | sys_morecore.c | 303 reservation = vspace_reserve_range_at(muslc_this_vspace, old_address, num_pages * PAGE_SIZE_4K, seL4_AllRights, 1);
|
/seL4-test-master/projects/seL4_libs/libsel4vspace/include/vspace/ |
H A D | vspace.h | 738 static inline reservation_t vspace_reserve_range_at(vspace_t *vspace, void *vaddr, function
|
Completed in 44 milliseconds