Searched refs:reserve (Results 1 - 9 of 9) sorted by relevance
| /seL4-refos-master/libs/libsel4vspace/src/ |
| H A D | vspace.c | 23 reservation_t reserve = vspace_reserve_range(vspace, (n_pages + 1) * PAGE_SIZE_4K, local
26 if (reserve.res == NULL) {
30 /* reserve the first page as the guard */
34 error = vspace_new_pages_at_vaddr(vspace, (void *) stack_bottom, n_pages, seL4_PageBits, reserve);
37 vspace_free_reservation(vspace, reserve);
80 /* reserve a range to map the shared memory in to */
85 ZF_LOGE("Failed to reserve range");
133 ZF_LOGE("Failed to reserve range");
|
| /seL4-refos-master/projects/seL4_libs/libsel4vspace/src/ |
| H A D | vspace.c | 23 reservation_t reserve = vspace_reserve_range(vspace, (n_pages + 1) * PAGE_SIZE_4K, local
26 if (reserve.res == NULL) {
30 /* reserve the first page as the guard */
34 error = vspace_new_pages_at_vaddr(vspace, (void *) stack_bottom, n_pages, seL4_PageBits, reserve);
37 vspace_free_reservation(vspace, reserve);
80 /* reserve a range to map the shared memory in to */
85 ZF_LOGE("Failed to reserve range");
133 ZF_LOGE("Failed to reserve range");
|
| /seL4-refos-master/kernel/tools/hardware/utils/ |
| H A D | memory.py | 48 reserve = reserved.pop()
51 r = el.reserve(reserve)
110 new_ret.update(el.reserve(reg))
|
| /seL4-refos-master/seL4_tools/cmake-tool/helpers/ |
| H A D | elf_sift.py | 75 parser.add_argument('--reserve', metavar='BYTES', type=int, action='store',
76 default=0, help='number of additional bytes to reserve')
80 regions.append(args.reserve)
|
| /seL4-refos-master/kernel/tools/hardware/ |
| H A D | memory.py | 58 def reserve(self, excluded): member in class:Region
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | vspace.h | 339 int sel4utils_bootstrap_clone_into_vspace(vspace_t *current, vspace_t *clone, reservation_t reserve);
|
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | vspace.h | 339 int sel4utils_bootstrap_clone_into_vspace(vspace_t *current, vspace_t *clone, reservation_t reserve);
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/ |
| H A D | vspace.c | 141 /* only support to reserve things that we've checked that we can */
445 sel4utils_res_t *reserve = find_reserve(data, v); local
478 if (reserve == NULL) {
|
| /seL4-refos-master/libs/libsel4utils/src/vspace/ |
| H A D | vspace.c | 141 /* only support to reserve things that we've checked that we can */
445 sel4utils_res_t *reserve = find_reserve(data, v); local
478 if (reserve == NULL) {
|
Completed in 167 milliseconds