| /seL4-refos-master/kernel/manual/parts/ |
| H A D | io.tex | |
| /seL4-refos-master/libs/libsel4muslcsys/src/ |
| H A D | sys_morecore.c | 262 seL4_CPtr caps[num_pages]; local
|
| /seL4-refos-master/projects/seL4_libs/libsel4muslcsys/src/ |
| H A D | sys_morecore.c | 262 seL4_CPtr caps[num_pages]; local
|
| /seL4-refos-master/libs/libsel4platsupport/src/ |
| H A D | io.c | 39 seL4_CPtr *caps; member in struct:io_mapping
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | io.c | 39 seL4_CPtr *caps; member in struct:io_mapping
[all...] |
| /seL4-refos-master/kernel/src/kernel/ |
| H A D | thread.c | 196 extra_caps_t caps; local
235 static seL4_MessageInfo_t transferCaps(seL4_MessageInfo_t info, extra_caps_t caps, argument
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/ |
| H A D | vspace.c | 288 static int map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], argument
344 int sel4utils_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, argument
369 int sel4utils_deferred_rights_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, argument
395 void *sel4utils_map_pages(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], argument
|
| /seL4-refos-master/libs/libsel4utils/src/vspace/ |
| H A D | vspace.c | 288 static int map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], argument
344 int sel4utils_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, argument
369 int sel4utils_deferred_rights_map_pages_at_vaddr(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], void *vaddr, argument
395 void *sel4utils_map_pages(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4vspace/include/vspace/ |
| H A D | vspace.h | 555 vspace_map_pages(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], seL4_CapRights_t rights, size_t num_pages, size_t size_bits, int cacheable) 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
[all...] |
| /seL4-refos-master/libs/libsel4vspace/include/vspace/ |
| H A D | vspace.h | 555 vspace_map_pages(vspace_t *vspace, seL4_CPtr caps[], uintptr_t cookies[], seL4_CapRights_t rights, size_t num_pages, size_t size_bits, int cacheable) 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
[all...] |