| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | retprefix.c | 13 unsigned ret = 3; local
25 int ret = 2; local
32 int ret = 2; local
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/or1k/ |
| H A D | sysv.S | 95 ret: label
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/machine/ |
| H A D | debug.h | 25 word_t ret; local
45 word_t ret; local
65 word_t ret; local
[all...] |
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/machine/ |
| H A D | debug.h | 25 word_t ret; local
45 word_t ret; local
65 word_t ret; local
[all...] |
| /seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/machine/ |
| H A D | interrupt.h | 53 interrupt_t ret = ARCH_NODE_STATE(x86KSPendingInterrupt); local
|
| /seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/ |
| H A D | decompile.py | 64 ret = call_input_output('Holmake','','hol_output.txt') variable
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/api/ |
| H A D | faults.c | 77 word_t ret = ARCH_NODE_STATE(x86KSGPExceptReturnTo); local
|
| /seL4-l4v-10.1.1/HOL4/polyml/samplecode/Foreign/ |
| H A D | ForeignTest.c | 54 struct r2 ret; local
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/machine/ |
| H A D | debug.h | 145 syscall_error_t ret = { local
197 syscall_error_t ret = { local
240 syscall_error_t ret = { local
255 syscall_error_t ret = { local
[all...] |
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/machine/ |
| H A D | debug.h | 134 syscall_error_t ret; local
147 syscall_error_t ret = { local
170 syscall_error_t ret = { local
186 syscall_error_t ret = { local
[all...] |
| /seL4-l4v-10.1.1/seL4/src/api/ |
| H A D | faults.c | 227 unsigned int ret = setMR(receiver, receiveIPCBuffer, local
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/32/object/ |
| H A D | objecttype.c | 43 deriveCap_ret_t ret; local
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/64/object/ |
| H A D | objecttype.c | 47 deriveCap_ret_t ret; local
[all...] |
| /seL4-l4v-10.1.1/seL4/src/kernel/ |
| H A D | cspace.c | 23 lookupCap_ret_t ret; local
41 lookupCapAndSlot_ret_t ret; local
62 lookupSlot_raw_ret_t ret; local
77 lookupSlot_ret_t ret; local
140 resolveAddressBits_ret_t ret; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/bin/ |
| H A D | wrapper.c | 104 int fd = 0, ret = 0; local
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sparc/ |
| H A D | ffi.c | 125 int i, ret = 0; local
337 int ffi_v9_layout_struct(ffi_type *arg, int off, char *ret, char *intg, char *flt) argument
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/fastpath/ |
| H A D | fastpath.h | 31 uint64_t ret = ep_ptr->words[0] & 0xfffffffffffcull; local
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/object/ |
| H A D | objecttype.c | 44 deriveCap_ret_t ret; local
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/arm/64/object/ |
| H A D | objecttype.c | 40 deriveCap_ret_t ret; local
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/object/ |
| H A D | objecttype.c | 30 deriveCap_ret_t ret; local
[all...] |
| /seL4-l4v-10.1.1/seL4/src/arch/x86/object/ |
| H A D | objecttype.c | 29 deriveCap_ret_t ret; local
[all...] |
| /seL4-l4v-10.1.1/graph-refine/graph-to-graph/ |
| H A D | conflict.py | 553 ret = conflict('handleSyscall', tcfg_map,conflict_files,old_ilp,new_ilp,dir_name,sol_file,emit_conflicts=emit_conflicts,do_cplex=do_cplex,interactive=interactive,preempt_limit = preempt_limit, default_phantom_preempt=True) variable
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/pa/ |
| H A D | ffi.c | 424 UINT32 ret[2]; /* function can return up to 64-bits in registers */ local
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/ |
| H A D | ffi.c | 500 unsigned int ret; local
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/armv/armv7-a/armv/ |
| H A D | vcpu.h | 39 word_t ret; local
53 word_t ret; local
67 word_t ret; local
81 word_t ret; local
95 word_t ret; local
109 word_t ret; local
123 word_t ret; local
137 word_t ret; local
151 word_t ret; local
165 word_t ret; local
179 word_t ret; local
193 word_t ret; local
207 word_t ret; local
221 word_t ret; local
235 word_t ret; local
249 word_t ret; local
263 word_t ret; local
277 word_t ret; local
291 word_t ret; local
305 word_t ret; local
318 word_t ret = 0; local
332 word_t ret = 0; local
[all...] |