| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
| H A D | return_ll1.c | 18 ffi_type *args[MAX_ARGS]; local
|
| H A D | return_sl.c | 17 ffi_type *args[MAX_ARGS]; local
|
| H A D | return_ul.c | 17 ffi_type *args[MAX_ARGS]; local
|
| H A D | closure_fn0.c | 16 closure_test_fn0(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
[all...] |
| H A D | closure_fn1.c | 13 static void closure_test_fn1(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
[all...] |
| H A D | closure_fn2.c | 12 static void closure_test_fn2(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
[all...] |
| H A D | closure_fn3.c | 12 static void closure_test_fn3(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
[all...] |
| H A D | closure_fn4.c | 14 closure_test_fn0(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
[all...] |
| H A D | closure_fn5.c | 13 closure_test_fn5(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
[all...] |
| H A D | closure_fn6.c | 12 closure_test_fn0(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
[all...] |
| H A D | closure_loc_fn0.c | 16 closure_loc_test_fn0(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
[all...] |
| H A D | closure_stdcall.c | 11 closure_test_stdcall(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
|
| H A D | closure_thiscall.c | 11 closure_test_thiscall(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
|
| H A D | cls_dbls_struct.c | 23 closure_test_gn(ffi_cif* cif __UNUSED__, void* resp __UNUSED__, void** args, void* userdata __UNUSED__) argument
|
| H A D | cls_double.c | 10 static void cls_ret_double_fn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
|
| H A D | cls_double_va.c | 28 void* args[3]; local
14 cls_double_va_fn(ffi_cif* cif __UNUSED__, void* resp, void** args, void* userdata __UNUSED__) argument
|
| H A D | cls_float.c | 10 static void cls_ret_float_fn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
|
| H A D | cls_longdouble_va.c | 28 void* args[3]; local
14 cls_longdouble_va_fn(ffi_cif* cif __UNUSED__, void* resp, void** args, void* userdata __UNUSED__) argument
|
| H A D | cls_pointer.c | 37 void* args[3]; local
23 cls_pointer_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, void* userdata __UNUSED__) argument
|
| H A D | cls_schar.c | 12 static void cls_ret_schar_fn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
|
| H A D | cls_sint.c | 10 static void cls_ret_sint_fn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
|
| H A D | cls_sshort.c | 10 static void cls_ret_sshort_fn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.special/ |
| H A D | unwindtest_ffi_call.cc | 20 ffi_type *args[MAX_ARGS]; local
|
| /seL4-l4v-10.1.1/l4v/ |
| H A D | run_tests | 102 args = ['./misc/regression/run_tests.py'] # Script name variable
|
| /seL4-l4v-10.1.1/HOL4/src/datatype/ |
| H A D | selftest.sml | 124 val (args, _) = strip_fun (type_of fupd_t) value
|