| /seL4-l4v-master/seL4/libsel4/arch_include/x86/sel4/arch/ |
| H A D | syscalls.h | 15 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Poll(seL4_CPtr src, seL4_Word *sender) argument
20 LIBSEL4_INLINE_FUNC void seL4_Wait(seL4_CPtr src, seL4_Word *sender) argument
24 LIBSEL4_INLINE_FUNC seL4_MessageInfo_t seL4_Poll(seL4_CPtr src, seL4_Word *sender) argument
|
| /seL4-l4v-master/l4v/tools/autocorres/tests/examples/ |
| H A D | memcpy.c | 7 void *memcpy(void *dest, void *src, unsigned long size) argument
17 int *memcpy_int(int *dest, int *src) argument
28 memcpy_struct(struct my_structure *dest, struct my_structure *src) argument
|
| /seL4-l4v-master/seL4/src/ |
| H A D | string.c | 18 word_t strlcpy(char *dest, const char *src, word_t size) argument
28 word_t strlcat(char *dest, const char *src, word_t size) argument
|
| /seL4-l4v-master/seL4/include/arch/arm/arch/64/mode/machine/ |
| H A D | fpu.h | 50 static inline void loadFpuState(user_fpu_state_t *src) argument
|
| /seL4-l4v-master/seL4/src/arch/x86/64/kernel/ |
| H A D | elf.c | 51 paddr_t src; local
|
| /seL4-l4v-master/seL4/src/arch/x86/32/kernel/ |
| H A D | elf.c | 54 paddr_t src; local
|
| /seL4-l4v-master/seL4/include/arch/riscv/arch/machine/ |
| H A D | fpu.h | 107 static inline void loadFpuState(user_fpu_state_t *src) argument
|
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | gc_copy_phase.cpp | 192 static bool FindNextSpace(LocalMemSpace *src, LocalMemSpace **dst, bool isMutable, GCTaskId *id) argument
240 LocalMemSpace *src = *i; local
[all...] |
| /seL4-l4v-master/seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| H A D | syscalls.h | 102 static inline void arm_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info_arg) argument
116 static inline void arm_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, argument
178 static inline void arm_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_badge, argument
|
| /seL4-l4v-master/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| H A D | syscalls.h | 101 static inline void arm_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info_arg) argument
115 static inline void arm_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, argument
178 static inline void arm_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_badge, argument
|
| /seL4-l4v-master/seL4/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-l4v-master/seL4/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-l4v-master/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
| H A D | syscalls.h | 101 static inline void arm_sys_send_null(seL4_Word sys, seL4_Word src, seL4_Word info_arg) argument
115 static inline void arm_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_info, argument
178 static inline void arm_sys_nbsend_recv(seL4_Word sys, seL4_Word dest, seL4_Word src, seL4_Word *out_badge, argument
|
| /seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/solitare/ |
| H A D | solitare.cxx | 92 bdd all_other_idle(int src, int tmp, int dst) argument
107 bdd make_move(int src, int tmp, int dst) argument
|
| /seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | prime.c | 142 static unsigned int numberOfBits(unsigned int src) argument
158 isWitness(unsigned int witness, unsigned int src) argument
181 isMillerRabinPrime(unsigned int src) argument
201 hasEasyFactors(unsigned int src) argument
211 isPrime(unsigned int src) argument
224 bdd_prime_gte(unsigned int src) argument
236 bdd_prime_lte(unsigned int src) argument
[all...] |
| H A D | cppext.cxx | 538 bvec bvec::operator=(const bvec &src) argument
|
| /seL4-l4v-master/seL4/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-l4v-master/seL4/include/arch/arm/arch/32/mode/machine/ |
| H A D | fpu.h | 179 static inline void loadFpuState(user_fpu_state_t *src) argument
|
| /seL4-l4v-master/seL4/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-l4v-master/seL4/include/arch/x86/arch/machine/ |
| H A D | fpu.h | 78 static inline void loadFpuState(user_fpu_state_t *src) argument
[all...] |
| /seL4-l4v-master/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | syscalls_sysenter.h | 88 static inline void x64_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_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 | 84 static inline void x64_sys_recv(seL4_Word sys, seL4_Word src, seL4_Word *out_badge, seL4_Word *out_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-l4v-master/seL4/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-l4v-master/HOL4/src/HolSat/ |
| H A D | dimacsTools.sml | [all...] |
| /seL4-l4v-master/HOL4/polyml/basis/ |
| H A D | Word8Array.sml | 373 val (src, start, length) = base src value
[all...] |