| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
| H A D | cls_align_longdouble_split.c | 69 cls_struct_align_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
70 void* userdata __UNUSED__)
|
| H A D | cls_align_longdouble_split2.c | 49 cls_struct_align_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
50 void* userdata __UNUSED__)
|
| H A D | cls_pointer_stack.c | 74 cls_pointer_gn(ffi_cif* cif __UNUSED__, void* resp, argument
75 void** args, void* userdata __UNUSED__)
|
| H A D | nested_struct10.c | 44 B_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
45 void* userdata __UNUSED__)
|
| H A D | nested_struct2.c | 37 B_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
38 void* userdata __UNUSED__)
|
| H A D | nested_struct3.c | 38 B_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
39 void* userdata __UNUSED__)
|
| H A D | nested_struct4.c | 38 B_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
39 void* userdata __UNUSED__)
|
| H A D | nested_struct5.c | 38 B_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
39 void* userdata __UNUSED__)
|
| H A D | nested_struct6.c | 43 B_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
44 void* userdata __UNUSED__)
|
| H A D | nested_struct7.c | 38 B_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
39 void* userdata __UNUSED__)
|
| H A D | nested_struct8.c | 43 B_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
44 void* userdata __UNUSED__)
|
| H A D | nested_struct9.c | 43 B_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
44 void* userdata __UNUSED__)
|
| H A D | stret_medium.c | 49 cls_struct_72byte_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, void* userdata __UNUSED__) argument
|
| H A D | stret_medium2.c | 50 cls_struct_72byte_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, void* userdata __UNUSED__) argument
|
| H A D | closure_loc_fn0.c | 16 closure_loc_test_fn0(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
|
| H A D | nested_struct.c | 53 cls_struct_combined_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
54 void* userdata __UNUSED__)
|
| H A D | nested_struct1.c | 55 cls_struct_combined_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, argument
56 void* userdata __UNUSED__)
|
| H A D | stret_large.c | 63 cls_struct_108byte_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, void* userdata __UNUSED__) argument
|
| H A D | stret_large2.c | 65 cls_struct_116byte_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, void* userdata __UNUSED__) argument
|
| H A D | huge_struct.c | 158 cls_large_fn(ffi_cif* cif __UNUSED__, void* resp, void** args, void* userdata __UNUSED__) argument
220 main(int argc __UNUSED__, const char** argv __UNUSED__) argument
|