| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/ |
| H A D | vka.c | 56 static void am_vka_cspace_make_path (void *data, seL4_CPtr slot, cspacepath_t *res) argument
70 static void am_vka_cspace_free (void *data, seL4_CPtr slot) argument
|
| /seL4-refos-master/libs/libmuslc/src/thread/ |
| H A D | sem_open.c | 32 int fd, i, e, slot, first=1, cnt, cs; local
[all...] |
| /seL4-refos-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
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
|
| /seL4-refos-master/kernel/src/kernel/ |
| H A D | cspace.c | 131 cte_t *slot; local
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/cspace/ |
| H A D | two_level.c | 20 cspacepath_t _cspace_two_level_make_path(void *_cspace, seL4_CPtr slot) argument
146 int _cspace_two_level_alloc_at(allocman_t *alloc, void *_cspace, seL4_CPtr slot) argument
174 int _cspace_two_level_alloc(allocman_t *alloc, void *_cspace, cspacepath_t *slot) argument
235 _cspace_two_level_free(struct allocman *alloc, void *_cspace, const cspacepath_t *slot) argument
[all...] |
| /seL4-refos-master/libs/libsel4allocman/src/cspace/ |
| H A D | two_level.c | 20 cspacepath_t _cspace_two_level_make_path(void *_cspace, seL4_CPtr slot) argument
146 int _cspace_two_level_alloc_at(allocman_t *alloc, void *_cspace, seL4_CPtr slot) argument
174 int _cspace_two_level_alloc(allocman_t *alloc, void *_cspace, cspacepath_t *slot) argument
235 _cspace_two_level_free(struct allocman *alloc, void *_cspace, const cspacepath_t *slot) argument
[all...] |
| /seL4-refos-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
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
|
| /seL4-refos-master/libs/libsel4allocman/ |
| H A D | example_bootstrap.c | 66 cspacepath_t slot = allocman_cspace_make_path(allocman, i); local
107 cspacepath_t slot = allocman_cspace_make_path(allocman, i); local
163 cspacepath_t slot = _cspace_simple1level_make_path(&boot_cspace, i); local
231 cspacepath_t slot = _cspace_simple1level_make_path(&boot_cspace, i); local
|
| /seL4-refos-master/libs/libsel4allocman/src/utspace/ |
| H A D | split.c | 244 _utspace_split_alloc(allocman_t *alloc, void *_split, size_t size_bits, seL4_Word type, const cspacepath_t *slot, uintptr_t paddr, bool canBeDev, int *error) argument
|
| /seL4-refos-master/libs/libsel4vka/src/ |
| H A D | debug-vka.c | 78 static void track_slot(state_t *state, seL4_CPtr slot) argument
128 untrack_slot(state_t *state, seL4_CPtr slot) argument
142 cspace_free(void *data, seL4_CPtr slot) argument
162 cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *res) argument
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/ |
| H A D | example_bootstrap.c | 66 cspacepath_t slot = allocman_cspace_make_path(allocman, i); local
107 cspacepath_t slot = allocman_cspace_make_path(allocman, i); local
163 cspacepath_t slot = _cspace_simple1level_make_path(&boot_cspace, i); local
231 cspacepath_t slot = _cspace_simple1level_make_path(&boot_cspace, i); local
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/src/utspace/ |
| H A D | split.c | 244 _utspace_split_alloc(allocman_t *alloc, void *_split, size_t size_bits, seL4_Word type, const cspacepath_t *slot, uintptr_t paddr, bool canBeDev, int *error) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4vka/src/ |
| H A D | debug-vka.c | 78 static void track_slot(state_t *state, seL4_CPtr slot) argument
128 untrack_slot(state_t *state, seL4_CPtr slot) argument
142 cspace_free(void *data, seL4_CPtr slot) argument
162 cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *res) argument
[all...] |
| /seL4-refos-master/kernel/src/arch/x86/object/ |
| H A D | objecttype.c | 23 deriveCap_ret_t Arch_deriveCap(cte_t *slot, cap_t cap) 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
[all...] |
| /seL4-refos-master/kernel/src/object/ |
| H A D | interrupt.c | 98 cte_t *slot; local
151 void invokeIRQHandler_SetIRQHandler(irq_t irq, cap_t cap, cte_t *slot) argument
172 cte_t *slot; local
[all...] |
| /seL4-refos-master/kernel/include/fastpath/ |
| H A D | fastpath.h | 13 cte_t *slot; local
|
| /seL4-refos-master/kernel/src/arch/riscv/object/ |
| H A D | objecttype.c | 16 deriveCap_ret_t Arch_deriveCap(cte_t *slot, cap_t cap) argument
291 Arch_decodeInvocation( word_t label, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t extraCaps, bool_t call, word_t *buffer ) argument
|
| /seL4-refos-master/kernel/src/arch/riscv/machine/ |
| H A D | capdl.c | 116 word_t slot = ((vptr >> lu_ret.ptBitsLeft) & MASK(PT_INDEX_BITS)); local
131 word_t slot = ((vptr >> ptBitsLeft) & MASK(PT_INDEX_BITS)); local
|
| /seL4-refos-master/kernel/src/arch/arm/32/object/ |
| H A D | objecttype.c | 36 deriveCap_ret_t Arch_deriveCap(cte_t *slot, cap_t cap) argument
536 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
|
| /seL4-refos-master/kernel/src/arch/arm/64/object/ |
| H A D | objecttype.c | 30 deriveCap_ret_t Arch_deriveCap(cte_t *slot, cap_t cap) argument
474 Arch_decodeInvocation(word_t label, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t extraCaps, bool_t call, word_t *buffer) argument
|
| /seL4-refos-master/libs/libsel4allocman/include/allocman/ |
| H A D | allocman.h | 89 cspacepath_t slot; member in struct:allocman_utspace_allocation
216 allocman_cspace_make_path(allocman_t *alloc, seL4_CPtr slot) argument
[all...] |
| /seL4-refos-master/libs/libsel4utils/src/ |
| H A D | slab.c | 57 static void delegate_cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *res) argument
63 static void delegate_cspace_free(void *data, seL4_CPtr slot) argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/ |
| H A D | allocman.h | 89 cspacepath_t slot; member in struct:allocman_utspace_allocation
216 allocman_cspace_make_path(allocman_t *alloc, seL4_CPtr slot) argument
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | slab.c | 57 static void delegate_cspace_make_path(void *data, seL4_CPtr slot, cspacepath_t *res) argument
63 static void delegate_cspace_free(void *data, seL4_CPtr slot) argument
|
| /seL4-refos-master/kernel/src/arch/arm/object/ |
| H A D | vcpu.c | 462 decodeARMVCPUInvocation( word_t label, unsigned int length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t extraCaps, bool_t call, word_t *buffer ) argument
|