/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
H A D | return_sc.c | 17 ffi_type *args[MAX_ARGS]; local 22 args[0] = &ffi_type_schar; 27 &ffi_type_schar, args) == FFI_OK);
|
H A D | return_uc.c | 18 ffi_type *args[MAX_ARGS]; local 24 args[0] = &ffi_type_uchar; 29 &ffi_type_uchar, args) == FFI_OK);
|
H A D | return_fl1.c | 17 ffi_type *args[MAX_ARGS]; local 21 args[0] = &ffi_type_float; 22 args[1] = &ffi_type_float; 28 &ffi_type_float, args) == FFI_OK);
|
H A D | return_sl.c | 17 ffi_type *args[MAX_ARGS]; local 22 args[0] = &ffi_type_slong; 23 args[1] = &ffi_type_slong; 28 &ffi_type_slong, args) == FFI_OK);
|
H A D | return_ul.c | 17 ffi_type *args[MAX_ARGS]; local 22 args[0] = &ffi_type_ulong; 23 args[1] = &ffi_type_ulong; 28 &ffi_type_ulong, args) == FFI_OK);
|
H A D | closure_stdcall.c | 11 closure_test_stdcall(ffi_cif* cif __UNUSED__, void* resp, void** args, argument 15 (int)*(int *)args[0] + (int)(*(int *)args[1]) 16 + (int)(*(int *)args[2]) + (int)(*(int *)args[3]) 20 (int)*(int *)args[0], (int)(*(int *)args[1]), 21 (int)(*(int *)args[2]), (int)(*(int *)args[3]),
|
H A D | closure_thiscall.c | 11 closure_test_thiscall(ffi_cif* cif __UNUSED__, void* resp, void** args, argument 15 (int)*(int *)args[0] + (int)(*(int *)args[1]) 16 + (int)(*(int *)args[2]) + (int)(*(int *)args[3]) 20 (int)*(int *)args[0], (int)(*(int *)args[1]), 21 (int)(*(int *)args[2]), (int)(*(int *)args[3]),
|
H A D | float3.c | 25 ffi_type *args[MAX_ARGS]; local 33 args[0] = &ffi_type_float; 35 args[1] = &ffi_type_double; 37 args[2] = &ffi_type_longdouble; 42 &ffi_type_double, args) == FFI_OK); 54 args[0] = &ffi_type_longdouble; 56 args[1] = &ffi_type_double; 58 args[2] = &ffi_type_float; 63 &ffi_type_double, args) == FFI_OK);
|
H A D | cls_pointer.c | 24 void** args, void* userdata __UNUSED__) 26 void* a1 = *(void**)(args[0]); 27 void* a2 = *(void**)(args[1]); 37 void* args[3]; local 57 args[0] = &arg1; 58 args[1] = &arg2; 59 args[2] = NULL; 61 ffi_call(&cif, FFI_FN(cls_pointer_fn), &res, args); 23 cls_pointer_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, void* userdata __UNUSED__) argument
|
H A D | fastthis3_win32.c | 19 ffi_type *args[MAX_ARGS]; local 25 args[2] = &ffi_type_sint; 26 args[1] = &ffi_type_pointer; 27 args[0] = &ffi_type_float; 34 &ffi_type_sint, args) == FFI_OK);
|
H A D | negint.c | 20 ffi_type *args[MAX_ARGS]; local 28 args[0] = &ffi_type_sint; 30 args[1] = &ffi_type_sshort; 32 args[2] = &ffi_type_schar; 37 &ffi_type_sint, args) == FFI_OK);
|
H A D | cls_double.c | 10 static void cls_ret_double_fn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument 13 *(double *)resp = *(double *)args[0]; 15 printf("%f: %f\n",*(double *)args[0],
|
H A D | cls_float.c | 10 static void cls_ret_float_fn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument 13 *(float *)resp = *(float *)args[0]; 15 printf("%g: %g\n",*(float *)args[0],
|
H A D | cls_schar.c | 12 static void cls_ret_schar_fn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument 15 *(ffi_arg*)resp = *(signed char *)args[0]; 16 printf("%d: %d\n",*(signed char *)args[0],
|
H A D | cls_sint.c | 10 static void cls_ret_sint_fn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument 13 *(ffi_arg*)resp = *(signed int *)args[0]; 14 printf("%d: %d\n",*(signed int *)args[0],
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | savestate.h | 29 Handle SaveState(TaskData *taskData, Handle args); 38 Handle RenameParent(TaskData *taskData, Handle args); 44 Handle StoreModule(TaskData *taskData, Handle args); 47 Handle LoadModule(TaskData *taskData, Handle args);
|
/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/ |
H A D | Console.java | 63 public static void main(String[] args) { argument 65 if (args.length <= 1) { 70 Console console=new Console(args[0]); 71 InputStream is=new FileInputStream(args[0]); 76 if (args[1].endsWith(".ps")) 77 console.PS(args[1], true); 78 else if (args[1].endsWith(".eps")) 79 console.PS(args[1], false); 81 System.err.println("Unknown file type: " + args[1]); 83 System.err.println("Unable to write file " + args[ [all...] |
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/ |
H A D | Console.java | 63 public static void main(String[] args) { argument 65 if (args.length <= 1) { 70 Console console=new Console(args[0]); 71 InputStream is=new FileInputStream(args[0]); 76 if (args[1].endsWith(".ps")) 77 console.PS(args[1], true); 78 else if (args[1].endsWith(".eps")) 79 console.PS(args[1], false); 81 System.err.println("Unknown file type: " + args[1]); 83 System.err.println("Unable to write file " + args[ [all...] |
/seL4-l4v-10.1.1/seL4/libsel4/tools/ |
H A D | invocation_header_gen.py | 192 def generate(args, invocations): 195 if args.libsel4: 198 if args.arch: 201 elif args.sel4_arch: 206 data = template.render({'header_title': header_title, 'libsel4' : args.libsel4, 'invocations' : invocations, 'num_invocations' : len(invocations)}) 207 args.dest.write(data) 209 args.dest.close() 212 args = parse_args() variable 214 invocations = parse_xml(args.xml) 215 args [all...] |
/seL4-l4v-10.1.1/seL4/manual/tools/libsel4_tools/ |
H A D | invocation_header_gen.py | 192 def generate(args, invocations): 195 if args.libsel4: 198 if args.arch: 201 elif args.sel4_arch: 206 data = template.render({'header_title': header_title, 'libsel4' : args.libsel4, 'invocations' : invocations, 'num_invocations' : len(invocations)}) 207 args.dest.write(data) 209 args.dest.close() 212 args = parse_args() variable 214 invocations = parse_xml(args.xml) 215 args [all...] |
/seL4-l4v-10.1.1/seL4/tools/ |
H A D | invocation_header_gen.py | 192 def generate(args, invocations): 195 if args.libsel4: 198 if args.arch: 201 elif args.sel4_arch: 206 data = template.render({'header_title': header_title, 'libsel4' : args.libsel4, 'invocations' : invocations, 'num_invocations' : len(invocations)}) 207 args.dest.write(data) 209 args.dest.close() 212 args = parse_args() variable 214 invocations = parse_xml(args.xml) 215 args [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ |
H A D | java_raw_api.c | 76 ffi_java_raw_to_ptrarray (ffi_cif *cif, ffi_java_raw *raw, void **args) argument 83 for (i = 0; i < cif->nargs; i++, tp++, args++) 89 *args = (void*) ((char*)(raw++) + 3); 94 *args = (void*) ((char*)(raw++) + 2); 101 *args = (void *)raw; 107 *args = (void*) &(raw++)->ptr; 115 *args = raw; 126 for (i = 0; i < cif->nargs; i++, tp++, args++) 133 *args = (void*) raw; 140 *args 157 ffi_java_ptrarray_to_raw(ffi_cif *cif, void **args, ffi_java_raw *raw) argument [all...] |
/seL4-l4v-10.1.1/l4v/tools/autocorres/tools/ |
H A D | release.py | 90 dir_src = os.path.join(args.repository, manifest_base) 126 args = parser.parse_args() variable 128 args.archs = args.archs.split(',') 131 if args.output is None: 132 args.output = "autocorres-%s.tar.gz" % args.version 135 if args.repository is None: 137 args.repository = subprocess.check_output([ 143 args [all...] |
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/ |
H A D | muSyntax.sml | 133 let val (opr,args) = HolKernel.strip_comb mf; 137 | "RV" => [List.hd args] 138 | "And" => (fv (List.hd args))@(fv (List.last args)) 139 | "Or" => (fv (List.hd args))@(fv (List.last args)) 140 | "Not" => fv (List.hd args) 143 | "DIAMOND" => fv (List.last args) 144 | "BOX" => fv (List.last args) 145 | "mu" => List.filter (fn v => not (Term.compare(v,List.hd args) [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/lib/ |
H A D | libffi.exp | 92 proc libffi-init { args } { 323 proc dg-xfail-if { args } { 324 set args [lreplace $args 0 0] 325 set selector "target [join [lindex $args 1]]" 328 set compiler_conditional_xfail_data $args 332 proc check-flags { args } { 334 # The args are within another list; pull them out. 335 set args [lindex $args [all...] |