/seL4-test-master/kernel/manual/parts/ |
H A D | io.tex | |
/seL4-test-master/projects/sel4_projects_libs/libsel4rpc/src/ |
H A D | server.c | 179 int sel4rpc_server_reply(sel4rpc_server_env_t *env, int caps, int errorCode, int cookie) argument
|
/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/ |
H A D | iopt.c | 283 seL4_SlotRegion caps = env->io_space_caps; local 301 seL4_SlotRegion caps = env->io_space_caps; local 334 seL4_SlotRegion caps = env->io_space_caps; local 359 seL4_SlotRegion caps = env->io_space_caps; local 392 seL4_SlotRegion caps = env->io_space_caps; local [all...] |
/seL4-test-master/projects/seL4_libs/libsel4muslcsys/src/ |
H A D | sys_morecore.c | 262 seL4_CPtr caps[num_pages]; local
|
/seL4-test-master/projects/seL4_libs/libsel4platsupport/src/ |
H A D | io.c | 39 seL4_CPtr *caps; member in struct:io_mapping [all...] |
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/drivers/ |
H A D | pci_helper.h | 93 void *caps; member in struct:vmm_pci_device_def 171 uint8_t *caps; member in struct:pci_cap_emulation
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/x86/ |
H A D | acpi.c | 108 seL4_CPtr caps[num_pages]; local
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/drivers/ |
H A D | pci_helper.c | 369 vmm_pci_entry_t vmm_pci_create_cap_emulation(vmm_pci_entry_t existing, int num_caps, uint8_t *caps, int num_ranges, argument 411 uint8_t caps[MAX_CAPS]; local [all...] |
/seL4-test-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-test-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-test-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...] |