| /seL4-refos-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-refos-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-refos-master/kernel/include/arch/riscv/arch/object/ |
| H A D | objecttype.h | 29 static inline void Arch_postCapDeletion(cap_t cap) argument
|
| /seL4-refos-master/libs/libsel4debug/src/ |
| H A D | caps.c | 19 void debug_cap_identify(seL4_CPtr cap) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4debug/src/ |
| H A D | caps.c | 19 void debug_cap_identify(seL4_CPtr cap) argument
|
| /seL4-refos-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-refos-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-refos-master/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-refos-master/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-refos-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-refos-master/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-refos-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-refos-master/libs/libsel4platsupport/src/ |
| H A D | device.c | 23 seL4_CPtr cap; local
|
| /seL4-refos-master/libs/libsel4simple/src/ |
| H A D | simple.c | 88 seL4_CPtr cap = simple_get_nth_cap(simple, i); local
|
| /seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | device.c | 23 seL4_CPtr cap; local
|
| /seL4-refos-master/projects/seL4_libs/libsel4simple/src/ |
| H A D | simple.c | 88 seL4_CPtr cap = simple_get_nth_cap(simple, i); local
|
| /seL4-refos-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-refos-master/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-refos-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-refos-master/projects/refos/impl/apps/process_server/src/test/ |
| H A D | test.c | 211 test_nameserv_callback_freecap(seL4_CPtr cap) { argument
|
| /seL4-refos-master/apps/process_server/src/test/ |
| H A D | test.c | 211 test_nameserv_callback_freecap(seL4_CPtr cap) { argument
|
| /seL4-refos-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-refos-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
|