| /seL4-l4v-10.1.1/HOL4/src/prekernel/ |
| H A D | Nonce.sig | 6 val dest : 'a t -> 'a value
|
| H A D | Nonce.sml | 6 fun dest r = !r function
|
| /seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/ |
| H A D | memcpy.c | 11 void *memcpy(void *dest, void *src, unsigned long size) { argument
20 int *memcpy_int(int *dest, int *src) { argument
30 struct my_structure *memcpy_struct(struct my_structure *dest, argument
|
| H A D | memset.c | 11 void* memset(void *dest, int c, unsigned n) argument
|
| H A D | list.c | 53 struct node *revappend(struct node *list, struct node *dest) { argument
|
| /seL4-l4v-10.1.1/seL4/src/ |
| H A D | string.c | 22 word_t strlcpy(char *dest, const char *src, word_t size) argument
32 word_t strlcat(char *dest, const char *src, word_t size) argument
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/poly/ |
| H A D | Par_Exn.sml | 11 val dest: exn -> exn list option value
35 fun dest (Par_Exn exns) = SOME exns function
|
| /seL4-l4v-10.1.1/HOL4/examples/HolBdd/ |
| H A D | Varmap.sig | 5 val dest : varmap -> (string * int) list value
|
| H A D | Varmap.sml | 76 fun dest (vm:varmap) = Binarymap.listItems vm; function
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/machine/ |
| H A D | fpu.h | 22 static inline void saveFpuState(user_fpu_state_t *dest) argument
|
| /seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
| H A D | Region.sig | 33 val dest: 'a t -> 'a * region value
|
| H A D | Region.sml | 76 fun dest (T {node, region}) = (node, region) function
|
| /seL4-l4v-10.1.1/seL4/src/fastpath/ |
| H A D | fastpath.c | 29 tcb_t *dest; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/metis/ |
| H A D | mlibResolution.sig | 29 val dest : resolution -> {set : mlibClauseset.clauseset, sos : mlibSupport.sos} value
|
| /seL4-l4v-10.1.1/HOL4/src/num/arith/src/ |
| H A D | GenPolyCanon.sml | 34 val {dest,non_coeff,comm,assoc,symassoc,merge,postnorm,is_literal,...} = g value
[all...] |
| H A D | GenRelNorm.sml | 6 val dest : term -> term * term value
|
| /seL4-l4v-10.1.1/HOL4/src/pred_set/src/ |
| H A D | PSet_ind.sml | 42 fun dest tm = function
|
| /seL4-l4v-10.1.1/HOL4/src/simp/src/ |
| H A D | Travrules.sml | 67 fun dest(TRAVRULES x) = x; function
|
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
| H A D | syscalls.h | 53 arm_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, seL4_Word mr3) argument
140 arm_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info_arg, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Word *in_out_mr3) argument
|
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| H A D | syscalls.h | 53 arm_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, seL4_Word mr3) argument
140 arm_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info_arg, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Word *in_out_mr3) argument
|
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
| H A D | syscalls.h | 53 arm_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info_arg, seL4_Word mr0, seL4_Word mr1, seL4_Word mr2, seL4_Word mr3) argument
140 arm_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_badge, seL4_Word info_arg, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Word *in_out_mr3) argument
|
| /seL4-l4v-10.1.1/seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | syscalls_syscall.h | 21 x64_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, seL4_Word msg3) argument
68 x64_sys_send_null(seL4_Word sys, seL4_Word dest, seL4_Word info) argument
111 x64_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_dest, seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Word *in_out_mr3) argument
|
| H A D | syscalls_sysenter.h | 21 x64_sys_send(seL4_Word sys, seL4_Word dest, seL4_Word info, seL4_Word msg0, seL4_Word msg1, seL4_Word msg2, seL4_Word msg3) argument
70 x64_sys_send_null(seL4_Word sys, seL4_Word dest, seL4_Word info) argument
116 x64_sys_send_recv(seL4_Word sys, seL4_Word dest, seL4_Word *out_dest, seL4_Word info, seL4_Word *out_info, seL4_Word *in_out_mr0, seL4_Word *in_out_mr1, seL4_Word *in_out_mr2, seL4_Word *in_out_mr3) argument
|
| /seL4-l4v-10.1.1/seL4/src/object/ |
| H A D | endpoint.c | 73 tcb_t *dest; local
|
| H A D | notification.c | 95 tcb_t *dest; local
|