Searched refs:args (Results 226 - 250 of 661) sorted by relevance

1234567891011>>

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dcls_7byte.c36 cls_struct_7byte_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
42 a1 = *(struct cls_struct_7byte*)(args[0]);
43 a2 = *(struct cls_struct_7byte*)(args[1]);
H A Dcls_align_double.c33 cls_struct_align_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
39 a1 = *(struct cls_struct_align*)(args[0]);
40 a2 = *(struct cls_struct_align*)(args[1]);
H A Dcls_align_float.c31 cls_struct_align_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
37 a1 = *(struct cls_struct_align*)(args[0]);
38 a2 = *(struct cls_struct_align*)(args[1]);
H A Dcls_align_longdouble.c32 cls_struct_align_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
38 a1 = *(struct cls_struct_align*)(args[0]);
39 a2 = *(struct cls_struct_align*)(args[1]);
H A Dcls_align_pointer.c35 cls_struct_align_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
41 a1 = *(struct cls_struct_align*)(args[0]);
42 a2 = *(struct cls_struct_align*)(args[1]);
H A Dcls_align_sint16.c31 cls_struct_align_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
37 a1 = *(struct cls_struct_align*)(args[0]);
38 a2 = *(struct cls_struct_align*)(args[1]);
H A Dcls_align_sint32.c31 cls_struct_align_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
37 a1 = *(struct cls_struct_align*)(args[0]);
38 a2 = *(struct cls_struct_align*)(args[1]);
H A Dcls_align_sint64.c32 cls_struct_align_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
38 a1 = *(struct cls_struct_align*)(args[0]);
39 a2 = *(struct cls_struct_align*)(args[1]);
H A Dcls_align_uint16.c31 cls_struct_align_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
37 a1 = *(struct cls_struct_align*)(args[0]);
38 a2 = *(struct cls_struct_align*)(args[1]);
H A Dcls_align_uint32.c31 cls_struct_align_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
37 a1 = *(struct cls_struct_align*)(args[0]);
38 a2 = *(struct cls_struct_align*)(args[1]);
H A Dcls_align_uint64.c33 cls_struct_align_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
39 a1 = *(struct cls_struct_align*)(args[0]);
40 a2 = *(struct cls_struct_align*)(args[1]);
H A Dnested_struct10.c44 B_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
51 b0 = *(struct A*)(args[0]);
52 b1 = *(struct B*)(args[1]);
53 b2 = *(struct C*)(args[2]);
H A Dnested_struct6.c43 B_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
50 b0 = *(struct A*)(args[0]);
51 b1 = *(struct B*)(args[1]);
52 b2 = *(struct C*)(args[2]);
H A Dnested_struct8.c43 B_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
50 b0 = *(struct A*)(args[0]);
51 b1 = *(struct B*)(args[1]);
52 b2 = *(struct C*)(args[2]);
H A Dnested_struct9.c43 B_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
50 b0 = *(struct A*)(args[0]);
51 b1 = *(struct B*)(args[1]);
52 b2 = *(struct C*)(args[2]);
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/
H A DSALGen.sml123 fun mk_cond_spec (entry_l,exit_l) (dest,src) args =
127 val args = hd(free_vars J) value
128 val c = mk_pabs(args,J)
131 val spec1 = gen_code (l2,M1,l4) (args,dest)
132 val spec2 = gen_code (l3,M2,l4) (args,dest)
138 val exp = mk_cond (mk_comb(c,args),
139 mk_comb(mk_pabs(args, #exp spec1), args),
140 mk_comb(mk_pabs(args, #exp spec2), args))
284 val (args,body) = dest_pabs fbody handle _ => (#2 (dest_comb fname), fbody) value
[all...]
/seL4-l4v-10.1.1/HOL4/src/integer/
H A DintSimps.sml184 val (f, args) = strip_comb t
186 val (t1, t2) = (hd args, hd (tl args))
190 fun go1 () = recurse bnds acc (hd args)
199 val (t1,t2,t3) = (hd args, hd (tl args), hd (tl (tl args)))
214 val args = intSyntax.strip_mult t value
215 val arg_vs = map (HOLset.listItems o recurse bnds empty_tmset) args
229 val (v, bod) = dest_abs (hd args)
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dreals.cpp394 static Handle powerOf(TaskData *mdTaskData, Handle args) argument
396 double x = real_arg1(args), y = real_arg2(args);
628 static Handle Real_dispatchc(TaskData *mdTaskData, Handle args, Handle code)
633 case 3: /* atan2 */ return real_result(mdTaskData, atan2(real_arg1(args), real_arg2(args)));
634 case 4: /* pow */ return powerOf(mdTaskData, args);
649 return mdTaskData->saveVec.push(copysign(1.0, real_arg(args)) < 0.0 ? TAGGED(1) : TAGGED(0));
651 return real_result(mdTaskData, copysign(real_arg1(args), real_arg2(args)));
[all...]
/seL4-l4v-10.1.1/seL4/src/machine/
H A Dio.c311 va_list args; local
314 va_start(args, format);
315 i = vprintf(format, args);
316 va_end(args);
/seL4-l4v-10.1.1/HOL4/examples/dev/
H A DinlineCompile.sml90 val (func,args) = dest_comb lt
92 val fb = mk_pabs(args,test)
93 val f1 = mk_pabs(args,t1)
94 val f2 = mk_pabs(args,rand t2)
142 val (opr,args) = dest_exp tm
146 if null args orelse is_combinational tm
150 "Seq" => let val th1 = CompileExp2(hd args)
151 val th2 = CompileExp2(hd(tl args))
163 | "Par" => let val th1 = CompileExp2(hd args)
164 val th2 = CompileExp2(hd(tl args))
[all...]
/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/
H A Dbuild_cygwin.scala67 Isabelle_Tool("build_cygwin", "produce pre-canned Cygwin distribution for Isabelle", args =>
86 val more_args = getopts(args)
H A Dcheck_sources.scala61 Isabelle_Tool("check_sources", "some sanity checks for Isabelle sources", args =>
69 val specs = getopts(args)
/seL4-l4v-10.1.1/isabelle/src/Pure/Tools/
H A Dupdate_comments.scala50 Isabelle_Tool("update_comments", "update formal comments in outer syntax", args =>
60 val specs = getopts(args)
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/
H A Dbuild_cygwin.scala67 Isabelle_Tool("build_cygwin", "produce pre-canned Cygwin distribution for Isabelle", args =>
86 val more_args = getopts(args)
H A Dcheck_sources.scala61 Isabelle_Tool("check_sources", "some sanity checks for Isabelle sources", args =>
69 val specs = getopts(args)

Completed in 534 milliseconds

1234567891011>>