| /seL4-camkes-master/kernel/include/arch/arm/arch/object/ |
| H A D | objecttype.h | 29 static inline void Arch_postCapDeletion(cap_t cap) argument
|
| H A D | iospace.h | 34 static inline exception_t decodeARMIOPTInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, argument
40 static inline exception_t decodeARMIOMapInvocation(word_t invLabel, uint32_t length, cte_t *slot, cap_t cap, argument
46 static inline exception_t performPageInvocationUnmapIO(cap_t cap, cte_ argument
51 decodeARMIOSpaceInvocation(word_t invLabel, cap_t cap) argument
56 unmapIOPage(cap_t cap) argument
60 deleteIOPageTable(cap_t cap) argument
64 clearIOPageDirectory(cap_t cap) argument
[all...] |
| /seL4-camkes-master/kernel/include/arch/x86/arch/fastpath/ |
| H A D | fastpath.h | 12 static inline int fastpath_reply_cap_check(cap_t cap) argument
|
| /seL4-camkes-master/kernel/include/arch/riscv/arch/object/ |
| H A D | objecttype.h | 29 static inline void Arch_postCapDeletion(cap_t cap) argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4debug/src/ |
| H A D | caps.c | 19 void debug_cap_identify(seL4_CPtr cap) argument
|
| /seL4-camkes-master/kernel/include/object/ |
| H A D | objecttype.h | 53 static inline void postCapDeletion(cap_t cap) argument
[all...] |
| H A D | cap.h | 11 cap_t cap; member in struct:deriveCap_ret
|
| /seL4-camkes-master/projects/seL4_libs/libsel4debug/include/sel4debug/ |
| H A D | debug.h | 30 static inline int debug_cap_is_valid(seL4_CPtr cap) argument
35 static inline int debug_cap_is_endpoint(seL4_CPtr cap) argument
42 static inline int debug_cap_is_notification(seL4_CPtr cap) argument
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/arm/ |
| H A D | guest_vspace_arch.h | 12 static inline int guest_vspace_map_page_arch(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, argument
|
| H A D | guest_memory_arch.c | 20 seL4_CPtr cap; local
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/ |
| H A D | guest_vspace_arch.h | 12 static inline int guest_vspace_map_page_arch(vspace_t *vspace, seL4_CPtr cap, void *vaddr, seL4_CapRights_t rights, argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4vspace/src/arch/x86/ |
| H A D | mapping.c | 17 static seL4_Error vspace_map_io(seL4_CPtr cap, seL4_CPtr iospace_root, seL4_Word vaddr, UNUSED seL4_Word attr) argument
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ |
| H A D | io.h | 57 seL4_CPtr cap; member in struct:ioport_region
|
| H A D | dataport.h | 43 uintptr_t cap; member in struct:dataport_frame
|
| /seL4-camkes-master/projects/seL4_libs/libsel4vspace/src/arch/arm/ |
| H A D | mapping.c | 16 static seL4_Error vspace_map_io(seL4_CPtr cap, seL4_CPtr iospace_root, seL4_Word vaddr, UNUSED seL4_Word attr) argument
|
| /seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/test/suites/api/ |
| H A D | test_dump_callback.c | 16 size_t cap; member in struct:my_sink
|
| H A D | test_load_callback.c | 16 size_t cap; member in struct:my_source
|
| /seL4-camkes-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | device.c | 23 seL4_CPtr cap; local
|
| /seL4-camkes-master/projects/seL4_libs/libsel4simple/src/ |
| H A D | simple.c | 88 seL4_CPtr cap = simple_get_nth_cap(simple, i); local
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | sync.c | 32 seL4_CPtr cap = camkes_alloc(seL4_NotificationObject, 0, seL4_CanRead.words[0] | seL4_CanWrite.words[0]); local
|
| /seL4-camkes-master/kernel/include/kernel/ |
| H A D | cspace.h | 16 cap_t cap; member in struct:lookupCap_ret
22 cap_t cap; member in struct:lookupCapAndSlot_ret
|
| /seL4-camkes-master/projects/seL4_libs/libsel4vspace/include/vspace/ |
| H A D | mapping.h | 25 static inline seL4_Error vspace_iospace_map_page(seL4_CPtr cap, seL4_CPtr root, seL4_Word vaddr, argument
62 static inline seL4_Error vspace_map_obj(vspace_map_obj_t *obj, seL4_CPtr cap, argument
|
| /seL4-camkes-master/kernel/src/arch/x86/object/ |
| H A D | tcb.c | 30 static exception_t performSetEPTRoot(tcb_t *tcb, cap_t cap, cte_t *slot) argument
47 exception_t decodeSetEPTRoot(cap_t cap, extra_caps_t excaps) argument
|
| /seL4-camkes-master/kernel/src/object/ |
| H A D | schedcontrol.c | 89 static exception_t decodeSchedControl_Configure(word_t length, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
159 exception_t decodeSchedControlInvocation(word_t label, cap_t cap, word_t length, extra_caps_t extraCaps, argument
|
| /seL4-camkes-master/projects/seL4_libs/libsel4simple-default/src/arch/arm/ |
| H A D | default.c | 68 seL4_CPtr cap; local
|