/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
H A D | err_bad_abi.c | 12 dummy_fn(ffi_cif* cif __UNUSED__, void* resp __UNUSED__, argument 13 void** args __UNUSED__, void* userdata __UNUSED__)
|
H A D | cls_dbls_struct.c | 23 closure_test_gn(ffi_cif* cif __UNUSED__, void* resp __UNUSED__, argument 24 void** args, void* userdata __UNUSED__) 29 int main(int argc __UNUSED__, char** argv __UNUSED__) argument
|
H A D | cls_double.c | 10 static void cls_ret_double_fn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument 11 void* userdata __UNUSED__)
|
H A D | cls_float.c | 10 static void cls_ret_float_fn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument 11 void* userdata __UNUSED__)
|
H A D | cls_schar.c | 12 static void cls_ret_schar_fn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument 13 void* userdata __UNUSED__)
|
H A D | cls_sint.c | 10 static void cls_ret_sint_fn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument 11 void* userdata __UNUSED__)
|
H A D | cls_sshort.c | 10 static void cls_ret_sshort_fn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument 11 void* userdata __UNUSED__)
|
H A D | cls_uchar.c | 10 static void cls_ret_uchar_fn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument 11 void* userdata __UNUSED__)
|
H A D | cls_uint.c | 10 static void cls_ret_uint_fn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument 11 void* userdata __UNUSED__)
|
H A D | cls_ushort.c | 10 static void cls_ret_ushort_fn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument 11 void* userdata __UNUSED__)
|
H A D | cls_multi_uchar.c | 23 static void test_func_gn(ffi_cif *cif __UNUSED__, void *rval, void **avals, argument 24 void *data __UNUSED__) 40 void test_func(ffi_cif *cif __UNUSED__, void *rval __UNUSED__, void **avals, argument 41 void *data __UNUSED__)
|
H A D | cls_double_va.c | 14 cls_double_va_fn(ffi_cif* cif __UNUSED__, void* resp, argument 15 void** args, void* userdata __UNUSED__)
|
H A D | cls_longdouble_va.c | 14 cls_longdouble_va_fn(ffi_cif* cif __UNUSED__, void* resp, argument 15 void** args, void* userdata __UNUSED__)
|
H A D | cls_uchar_va.c | 12 static void cls_ret_T_fn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument 13 void* userdata __UNUSED__)
|
H A D | cls_uint_va.c | 13 static void cls_ret_T_fn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument 14 void* userdata __UNUSED__)
|
H A D | cls_ulong_va.c | 13 static void cls_ret_T_fn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument 14 void* userdata __UNUSED__)
|
H A D | cls_ulonglong.c | 11 static void cls_ret_ulonglong_fn(ffi_cif* cif __UNUSED__, void* resp, argument 12 void** args, void* userdata __UNUSED__)
|
H A D | cls_ushort_va.c | 12 static void cls_ret_T_fn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument 13 void* userdata __UNUSED__)
|
H A D | ffitest.h | 21 #undef __UNUSED__ macro 23 #define __UNUSED__ __attribute__((__unused__)) macro 28 #define __UNUSED__ macro
|
H A D | testclosure.c | 26 cls_struct_combined_gn(ffi_cif* cif __UNUSED__, void* resp __UNUSED__, argument 27 void** args, void* userdata __UNUSED__)
|
H A D | cls_multi_schar.c | 22 static void test_func_gn(ffi_cif *cif __UNUSED__, void *rval, void **avals, argument 23 void *data __UNUSED__)
|
H A D | cls_multi_sshort.c | 22 static void test_func_gn(ffi_cif *cif __UNUSED__, void *rval, void **avals, argument 23 void *data __UNUSED__)
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.special/ |
H A D | ffitestcxx.h | 10 /* Define __UNUSED__ that also other compilers than gcc can run the tests. */ 11 #undef __UNUSED__ macro 13 #define __UNUSED__ __attribute__((__unused__)) macro 15 #define __UNUSED__ macro
|
H A D | unwindtest_ffi_call.cc | 11 static int checking(int a __UNUSED__, short b __UNUSED__, argument 12 signed char c __UNUSED__)
|
H A D | unwindtest.cc | 20 closure_test_fn(ffi_cif* cif __UNUSED__, void* resp __UNUSED__, argument 21 void** args __UNUSED__, void* userdata __UNUSED__) 28 void closure_test_fn1(ffi_cif* cif __UNUSED__, void* resp, argument 29 void** args, void* userdata __UNUSED__)
|