/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
H A D | cls_7byte.c | 36 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 D | cls_align_double.c | 33 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 D | cls_align_float.c | 31 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 D | cls_align_longdouble.c | 32 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 D | cls_align_pointer.c | 35 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 D | cls_align_sint16.c | 31 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 D | cls_align_sint32.c | 31 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 D | cls_align_sint64.c | 32 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 D | cls_align_uint16.c | 31 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 D | cls_align_uint32.c | 31 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 D | cls_align_uint64.c | 33 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 D | nested_struct10.c | 44 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 D | nested_struct6.c | 43 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 D | nested_struct8.c | 43 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 D | nested_struct9.c | 43 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 D | SALGen.sml | 123 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 D | intSimps.sml | 184 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 D | reals.cpp | 394 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 D | io.c | 311 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 D | inlineCompile.sml | 90 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 D | build_cygwin.scala | 67 Isabelle_Tool("build_cygwin", "produce pre-canned Cygwin distribution for Isabelle", args => 86 val more_args = getopts(args)
|
H A D | check_sources.scala | 61 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 D | update_comments.scala | 50 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 D | build_cygwin.scala | 67 Isabelle_Tool("build_cygwin", "produce pre-canned Cygwin distribution for Isabelle", args => 86 val more_args = getopts(args)
|
H A D | check_sources.scala | 61 Isabelle_Tool("check_sources", "some sanity checks for Isabelle sources", args => 69 val specs = getopts(args)
|