Searched refs:return_dbl (Results 1 - 5 of 5) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
| H A D | return_dbl.c | 10 static double return_dbl(double dbl) function
31 ffi_call(&cif, FFI_FN(return_dbl), &rdbl, values);
32 printf ("%f vs %f\n", rdbl, return_dbl(dbl));
|
| H A D | return_dbl1.c | 10 static double return_dbl(double dbl1, float fl2, unsigned int in3, double dbl4) function
39 ffi_call(&cif, FFI_FN(return_dbl), &rdbl, values);
40 printf ("%f vs %f\n", rdbl, return_dbl(dbl1, fl2, in3, dbl4));
|
| H A D | return_dbl2.c | 10 static double return_dbl(double dbl1, double dbl2, unsigned int in3, double dbl4) function
38 ffi_call(&cif, FFI_FN(return_dbl), &rdbl, values);
39 printf ("%f vs %f\n", rdbl, return_dbl(dbl1, dbl2, in3, dbl4));
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/ |
| H A D | Makefile.am | 48 libffi.call/return_dbl.c libffi.call/cls_24byte.c \
|
| H A D | Makefile.in | 324 libffi.call/return_dbl.c libffi.call/cls_24byte.c \
|
Completed in 92 milliseconds