| /seL4-test-master/projects/seL4_libs/libsel4vka/include/vka/ |
| H A D | capops.h | 37 static inline int vka_cnode_copy(const cspacepath_t *dest, const cspacepath_t *src, seL4_CapRights_t rights) argument
59 static inline int vka_cnode_mint(const cspacepath_t *dest, const cspacepath_t *src, argument
74 static inline int vka_cnode_move(const cspacepath_t *dest, const cspacepath_t *src) argument
86 vka_cnode_mutate(const cspacepath_t *dest, const cspacepath_t *src, seL4_Word badge) argument
118 vka_cnode_rotate(const cspacepath_t *dest, seL4_Word dest_badge, const cspacepath_t *pivot, seL4_Word pivot_badge, const cspacepath_t *src) argument
133 vka_untyped_retype(vka_object_t *untyped, int type, int size_bits, int num_objects, const cspacepath_t *dest) argument
[all...] |
| /seL4-test-master/tools/nanopb/tests/decode_unittests/ |
| H A D | decode_unittests.c | 312 IntegerArray dest; local
326 IntegerArray dest; local
344 IntegerArray dest; local
360 CallbackArray dest; local
391 IntegerArray dest; local
401 IntegerArray dest; local
411 IntegerArray dest; local
420 IntegerContainer dest = {{0}}; local
[all...] |
| /seL4-test-master/kernel/include/arch/arm/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 78 static inline void fastpath_copy_mrs(word_t length, tcb_t *src, tcb_t *dest) argument
|
| /seL4-test-master/kernel/include/arch/x86/arch/32/mode/fastpath/ |
| H A D | fastpath.h | 73 static inline void fastpath_copy_mrs(word_t length, tcb_t *src, tcb_t *dest) argument
|
| /seL4-test-master/kernel/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| H A D | syscalls.h | 56 static inline void arm_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, argument
146 static inline void arm_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info_arg, argument
178 static inline void arm_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_badge, argument
|
| /seL4-test-master/kernel/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
| H A D | syscalls.h | 56 static inline void arm_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, argument
146 static inline void arm_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info_arg, argument
178 static inline void arm_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_badge, argument
|
| /seL4-test-master/kernel/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| H A D | syscalls.h | 57 static inline void arm_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, argument
146 static inline void arm_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info_arg, argument
178 static inline void arm_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_badge, argument
|
| /seL4-test-master/kernel/src/fastpath/ |
| H A D | fastpath.c | 30 tcb_t *dest; local
[all...] |
| /seL4-test-master/projects/seL4_libs/libsel4simple/arch_include/arm/simple/arch/ |
| H A D | simple.h | 53 arch_simple_get_IOPort_cap(UNUSED arch_simple_t *simple, UNUSED uint16_t start_port, UNUSED uint16_t end_port, UNUSED seL4_Word root, UNUSED seL4_Word dest, UNUSED seL4_Word depth) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4simple/arch_include/x86/simple/arch/ |
| H A D | simple.h | 101 arch_simple_get_IOPort_cap(arch_simple_t *arch_simple, uint16_t start_port, uint16_t end_port, seL4_Word root, seL4_Word dest, seL4_Word depth) argument
|
| /seL4-test-master/projects/seL4_libs/libsel4vka/src/ |
| H A D | debug-vka.c | 207 static int utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, argument
228 static int utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, argument
243 static int utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, argument
[all...] |
| /seL4-test-master/tools/nanopb/extra/ |
| H A D | pb_syshdr.h | 92 char * dest = (char *) s1; local
|
| /seL4-test-master/kernel/include/arch/arm/arch/32/mode/fastpath/ |
| H A D | fastpath.h | 94 static inline void fastpath_copy_mrs(word_t length, tcb_t *src, tcb_t *dest) argument
|
| /seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/ |
| H A D | fpu.h | 91 static inline void saveFpuState(user_fpu_state_t *dest) argument
|
| /seL4-test-master/kernel/include/arch/x86/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 96 static inline void fastpath_copy_mrs(word_t length, tcb_t *src, tcb_t *dest) argument
|
| /seL4-test-master/kernel/include/arch/x86/arch/machine/ |
| H A D | fpu.h | 62 static inline void saveFpuState(user_fpu_state_t *dest) argument
[all...] |
| /seL4-test-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | syscalls_sysenter.h | 22 static inline void x64_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word msg0, seL4_Word msg1, argument
73 static inline void x64_sys_send_null(seL4_Word sys, seL4_Word dest, seL4_Word info) argument
120 static inline void x64_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_dest, seL4_Word info, argument
159 static inline void x64_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_dest, argument
|
| H A D | syscalls_syscall.h | 21 static inline void x64_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word msg0, seL4_Word msg1, argument
70 static inline void x64_sys_send_null(seL4_Word sys, seL4_Word dest, seL4_Word info) argument
115 static inline void x64_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_dest, seL4_Word info, argument
152 static inline void x64_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_dest, argument
|
| /seL4-test-master/kernel/include/arch/riscv/arch/fastpath/ |
| H A D | fastpath.h | 76 static inline void fastpath_copy_mrs(word_t length, tcb_t *src, tcb_t *dest) argument
|
| /seL4-test-master/kernel/src/object/ |
| H A D | notification.c | 125 tcb_t *dest; local
|
| H A D | endpoint.c | 65 tcb_t *dest; local
[all...] |
| /seL4-test-master/projects/sel4_projects_libs/libsel4vchan/include/sel4vchan/ |
| H A D | vchan_copy.h | 28 int dest; member in struct:vchan_ctrl
36 int dest; member in struct:vchan_alert
|
| /seL4-test-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | common.c | 98 vka_object_t dest; local
136 vka_object_t dest; local
|
| /seL4-test-master/projects/seL4_libs/libsel4utils/src/ |
| H A D | slab.c | 69 static int slab_utspace_alloc(void *data, const cspacepath_t *dest, seL4_Word type, argument
95 static int slab_utspace_alloc_maybe_device(void *data, const cspacepath_t *dest, seL4_Word type, argument
101 static int delegate_utspace_alloc_at(void *data, const cspacepath_t *dest, seL4_Word type, seL4_Word size_bits, argument
|
| /seL4-test-master/projects/seL4_libs/libsel4simple-default/src/ |
| H A D | libsel4simple-default.c | 232 ssize_t simple_default_get_extended_bootinfo(void *data, seL4_Word type, void *dest, ssize_t max_len) argument
|