Searched refs:args (Results 26 - 50 of 661) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dreturn_sc.c17 ffi_type *args[MAX_ARGS]; local
22 args[0] = &ffi_type_schar;
27 &ffi_type_schar, args) == FFI_OK);
H A Dreturn_uc.c18 ffi_type *args[MAX_ARGS]; local
24 args[0] = &ffi_type_uchar;
29 &ffi_type_uchar, args) == FFI_OK);
H A Dreturn_fl1.c17 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 Dreturn_sl.c17 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 Dreturn_ul.c17 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 Dclosure_stdcall.c11 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 Dclosure_thiscall.c11 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 Dfloat3.c25 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 Dcls_pointer.c24 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 Dfastthis3_win32.c19 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 Dnegint.c20 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 Dcls_double.c10 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 Dcls_float.c10 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 Dcls_schar.c12 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 Dcls_sint.c10 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 Dsavestate.h29 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 DConsole.java63 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 DConsole.java63 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 Dinvocation_header_gen.py192 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 Dinvocation_header_gen.py192 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 Dinvocation_header_gen.py192 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 Djava_raw_api.c76 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 Drelease.py90 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 DmuSyntax.sml133 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 Dlibffi.exp92 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...]

Completed in 229 milliseconds

1234567891011>>