Searched defs:mapping (Results 1 - 8 of 8) sorted by relevance
| /seL4-refos-master/libs/librefos/src/ |
| H A D | sync.c | 30 seL4_CPtr mapping; member in struct:sync_mutex_
|
| /seL4-refos-master/projects/refos/impl/libs/librefos/src/ |
| H A D | sync.c | 30 seL4_CPtr mapping; member in struct:sync_mutex_
|
| /seL4-refos-master/libs/libsel4utils/src/ |
| H A D | mapping.c | 132 void *mapping = vspace_map_pages(vspace, ©_path.capPtr, NULL, seL4_AllRights, 1, size_bits, 1); local
141 void sel4utils_unmap_dup(vka_t *vka, vspace_t *vspace, void *mapping, size_t size_bits) argument
[all...] |
| H A D | process.c | 193 void *mapping = sel4utils_dup_and_map(vka, current_vspace, frame, seL4_PageBits); local
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | mapping.c | 132 void *mapping = vspace_map_pages(vspace, ©_path.capPtr, NULL, seL4_AllRights, 1, size_bits, 1); local
141 void sel4utils_unmap_dup(vka_t *vka, vspace_t *vspace, void *mapping, size_t size_bits) argument
[all...] |
| H A D | process.c | 193 void *mapping = sel4utils_dup_and_map(vka, current_vspace, frame, seL4_PageBits); local
|
| /seL4-refos-master/libs/libsel4platsupport/src/ |
| H A D | io.c | 87 static void destroy_node(vka_t *vka, io_mapping_t *mapping) argument
149 io_mapping_t *mapping local
242 io_mapping_t *mapping = find_node(io_mapper, vaddr); local
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | io.c | 87 static void destroy_node(vka_t *vka, io_mapping_t *mapping) argument
149 io_mapping_t *mapping local
242 io_mapping_t *mapping = find_node(io_mapper, vaddr); local
[all...] |
Completed in 40 milliseconds