| /seL4-test-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-test-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-test-master/kernel/include/arch/riscv/arch/object/ |
| H A D | objecttype.h | 29 static inline void Arch_postCapDeletion(cap_t cap) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4debug/src/ |
| H A D | caps.c | 19 void debug_cap_identify(seL4_CPtr cap) argument
|
| /seL4-test-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-test-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-test-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-test-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-test-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-test-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-test-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | device.c | 23 seL4_CPtr cap; local
|
| /seL4-test-master/projects/seL4_libs/libsel4simple/src/ |
| H A D | simple.c | 88 seL4_CPtr cap = simple_get_nth_cap(simple, i); local
|
| /seL4-test-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-test-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-test-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
|
| H A D | objecttype.c | 23 deriveCap_ret_t Arch_deriveCap(cte_t *slot, cap_t cap) argument
141 Arch_updateCapData(bool_t preserve, word_t data, cap_t cap) argument
167 Arch_maskCapRights(seL4_CapRights_t cap_rights_mask, cap_t cap) argument
180 Arch_finaliseCap(cap_t cap, bool_t final) argument
504 Arch_decodeInvocation( word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t excaps, bool_t call, word_t *buffer ) argument
549 Arch_postCapDeletion(cap_t cap) argument
[all...] |
| /seL4-test-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
|
| H A D | interrupt.c | 151 void invokeIRQHandler_SetIRQHandler(irq_t irq, cap_t cap, cte_t *slot) argument
198 cap_t cap; local
[all...] |
| /seL4-test-master/projects/seL4_libs/libsel4simple-default/src/arch/arm/ |
| H A D | default.c | 68 seL4_CPtr cap; local
|
| /seL4-test-master/kernel/src/arch/x86/64/object/ |
| H A D | objecttype.c | 37 deriveCap_ret_t Mode_deriveCap(cte_t *slot, cap_t cap) argument
77 Mode_finaliseCap(cap_t cap, bool_t final) argument
317 Mode_decodeInvocation( word_t label, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t extraCaps, word_t *buffer ) argument
[all...] |
| /seL4-test-master/kernel/include/arch/arm/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 92 static inline int fastpath_reply_cap_check(cap_t cap) argument
|
| /seL4-test-master/kernel/src/arch/x86/32/object/ |
| H A D | objecttype.c | 35 deriveCap_ret_t Mode_deriveCap(cte_t *slot, cap_t cap) argument
53 finaliseCap_ret_t Mode_finaliseCap(cap_t cap, bool_t final) argument
193 Mode_decodeInvocation( word_t invLabel, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t excaps, word_t *buffer ) argument
[all...] |