| /seL4-refos-master/libs/libsel4allocman/include/allocman/mspace/ |
| H A D | vspace_pool.h | 32 reservation_t reservation; member in struct:mspace_vspace_pool_config
40 reservation_t reservation; member in struct:mspace_vspace_pool
|
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | elf.h | 43 reservation_t reservation; member in struct:sel4utils_elf_region
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/mspace/ |
| H A D | vspace_pool.h | 32 reservation_t reservation; member in struct:mspace_vspace_pool_config
40 reservation_t reservation; member in struct:mspace_vspace_pool
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | elf.h | 43 reservation_t reservation; member in struct:sel4utils_elf_region
|
| /seL4-refos-master/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); local
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/system/memserv/ |
| H A D | window.h | 92 reservation_t reservation; /* Has ownership. */ member in struct:w_window
|
| H A D | window.c | 165 w_create_window(struct w_list *wlist, vaddr_t size, int ownerPID, seL4_Word permissions, vspace_t *vspace, reservation_t reservation, bool cacheable) argument
|
| /seL4-refos-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); local
|
| /seL4-refos-master/apps/process_server/src/system/memserv/ |
| H A D | window.h | 92 reservation_t reservation; /* Has ownership. */ member in struct:w_window
|
| H A D | window.c | 165 w_create_window(struct w_list *wlist, vaddr_t size, int ownerPID, seL4_Word permissions, vspace_t *vspace, reservation_t reservation, bool cacheable) argument
|
| /seL4-refos-master/libs/libsel4muslcsys/src/ |
| H A D | sys_morecore.c | 276 reservation_t reservation = vspace_reserve_range(muslc_this_vspace, new_pages * PAGE_SIZE_4K, seL4_AllRights, 1, local
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/ |
| H A D | sys_morecore.c | 276 reservation_t reservation = vspace_reserve_range(muslc_this_vspace, new_pages * PAGE_SIZE_4K, seL4_AllRights, 1, local
[all...] |
| /seL4-refos-master/libs/libsel4utils/src/ |
| H A D | elf.c | 71 reservation_t reservation; local
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | elf.c | 71 reservation_t reservation; local
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/ |
| H A D | vspace.c | 52 static int check_reservation_bounds(sel4utils_res_t *reservation, uintptr_t start, uintptr_t end) argument
58 static int check_reservation(vspace_mid_level_t *top_level, sel4utils_res_t *reservation, uintptr_t start, argument
65 static void insert_reservation(sel4utils_alloc_data_t *data, sel4utils_res_t *reservation) argument
99 remove_reservation(sel4utils_alloc_data_t *data, sel4utils_res_t *reservation) argument
127 perform_reservation(vspace_t *vspace, sel4utils_res_t *reservation, uintptr_t vaddr, size_t bytes, seL4_CapRights_t rights, int cacheable) argument
145 insert_reservation(get_alloc_data(vspace), reservation); local
344 sel4utils_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, reservation_t reservation) argument
369 sel4utils_deferred_rights_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, reservation_t reservation) argument
491 sel4utils_new_pages_at_vaddr(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, reservation_t reservation, bool can_use_dev) argument
541 sel4utils_reserve_range_no_alloc_aligned(vspace_t *vspace, sel4utils_res_t *reservation, size_t size, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **result) argument
558 sel4utils_reserve_range_no_alloc(vspace_t *vspace, sel4utils_res_t *reservation, size_t size, seL4_CapRights_t rights, int cacheable, void **result) argument
568 reservation_t reservation = { local
596 sel4utils_reserve_range_at_no_alloc(vspace_t *vspace, sel4utils_res_t *reservation, void *vaddr, size_t size, seL4_CapRights_t rights, int cacheable) argument
613 reservation_t reservation; local
635 reservation_t reservation = sel4utils_reserve_range_at(vspace, vaddr, size, seL4_NoRights, cacheable); local
642 sel4utils_free_reservation(vspace_t *vspace, reservation_t reservation) argument
657 reservation_t reservation; local
662 sel4utils_move_resize_reservation(vspace_t *vspace, reservation_t reservation, void *vaddr, size_t bytes) argument
823 sel4utils_share_mem_at_vaddr(vspace_t *from, vspace_t *to, void *start, int num_pages, size_t size_bits, void *vaddr, reservation_t reservation) argument
[all...] |
| /seL4-refos-master/libs/libsel4utils/src/vspace/ |
| H A D | vspace.c | 52 static int check_reservation_bounds(sel4utils_res_t *reservation, uintptr_t start, uintptr_t end) argument
58 static int check_reservation(vspace_mid_level_t *top_level, sel4utils_res_t *reservation, uintptr_t start, argument
65 static void insert_reservation(sel4utils_alloc_data_t *data, sel4utils_res_t *reservation) argument
99 remove_reservation(sel4utils_alloc_data_t *data, sel4utils_res_t *reservation) argument
127 perform_reservation(vspace_t *vspace, sel4utils_res_t *reservation, uintptr_t vaddr, size_t bytes, seL4_CapRights_t rights, int cacheable) argument
145 insert_reservation(get_alloc_data(vspace), reservation); local
344 sel4utils_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, reservation_t reservation) argument
369 sel4utils_deferred_rights_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, reservation_t reservation) argument
491 sel4utils_new_pages_at_vaddr(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, reservation_t reservation, bool can_use_dev) argument
541 sel4utils_reserve_range_no_alloc_aligned(vspace_t *vspace, sel4utils_res_t *reservation, size_t size, size_t size_bits, seL4_CapRights_t rights, int cacheable, void **result) argument
558 sel4utils_reserve_range_no_alloc(vspace_t *vspace, sel4utils_res_t *reservation, size_t size, seL4_CapRights_t rights, int cacheable, void **result) argument
568 reservation_t reservation = { local
596 sel4utils_reserve_range_at_no_alloc(vspace_t *vspace, sel4utils_res_t *reservation, void *vaddr, size_t size, seL4_CapRights_t rights, int cacheable) argument
613 reservation_t reservation; local
635 reservation_t reservation = sel4utils_reserve_range_at(vspace, vaddr, size, seL4_NoRights, cacheable); local
642 sel4utils_free_reservation(vspace_t *vspace, reservation_t reservation) argument
657 reservation_t reservation; local
662 sel4utils_move_resize_reservation(vspace_t *vspace, reservation_t reservation, void *vaddr, size_t bytes) argument
823 sel4utils_share_mem_at_vaddr(vspace_t *from, vspace_t *to, void *start, int num_pages, size_t size_bits, void *vaddr, reservation_t reservation) argument
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4vspace/include/vspace/ |
| H A D | vspace.h | 24 typedef struct reservation { struct
594 vspace_new_pages_at_vaddr(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, reservation_t reservation) argument
618 vspace_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, reservation_t reservation) argument
643 vspace_deferred_rights_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, reservation_t reservation) argument
783 vspace_free_reservation(vspace_t *vspace, reservation_t reservation) argument
[all...] |
| /seL4-refos-master/libs/libsel4vspace/include/vspace/ |
| H A D | vspace.h | 24 typedef struct reservation { struct
594 vspace_new_pages_at_vaddr(vspace_t *vspace, void *vaddr, size_t num_pages, size_t size_bits, reservation_t reservation) argument
618 vspace_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, reservation_t reservation) argument
643 vspace_deferred_rights_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, size_t num_pages, size_t size_bits, seL4_CapRights_t rights, reservation_t reservation) argument
783 vspace_free_reservation(vspace_t *vspace, reservation_t reservation) argument
[all...] |