/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
H A D | testclosure.c | 26 cls_struct_combined_gn(ffi_cif* cif __UNUSED__, void* resp __UNUSED__, 39 ffi_cif cif; local 62 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 1, &ffi_type_void, 65 CHECK(ffi_prep_closure_loc(pcl, &cif, cls_struct_combined_gn, NULL, code) == FFI_OK);
|
H A D | cls_1_1byte.c | 31 cls_struct_1_1byte_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, 45 ffi_cif cif; local 69 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 2, &cls_struct_type, 76 ffi_call(&cif, FFI_FN(cls_struct_1_1byte_fn), &res_dbl, args_dbl); 81 CHECK(ffi_prep_closure_loc(pcl, &cif, cls_struct_1_1byte_gn, NULL, code) == FFI_OK);
|
H A D | cls_2byte.c | 31 cls_struct_2byte_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, 45 ffi_cif cif; local 70 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 2, &cls_struct_type, 77 ffi_call(&cif, FFI_FN(cls_struct_2byte_fn), &res_dbl, args_dbl); 82 CHECK(ffi_prep_closure_loc(pcl, &cif, cls_struct_2byte_gn, NULL, code) == FFI_OK);
|
H A D | cls_3byte1.c | 31 cls_struct_3byte_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, 45 ffi_cif cif; local 70 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 2, &cls_struct_type, 77 ffi_call(&cif, FFI_FN(cls_struct_3byte_fn), &res_dbl, args_dbl); 82 CHECK(ffi_prep_closure_loc(pcl, &cif, cls_struct_3byte_gn, NULL, code) == FFI_OK);
|
H A D | cls_3byte2.c | 31 cls_struct_3byte_gn1(ffi_cif* cif __UNUSED__, void* resp, void** args, 45 ffi_cif cif; local 70 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 2, &cls_struct_type, 77 ffi_call(&cif, FFI_FN(cls_struct_3byte_fn1), &res_dbl, args_dbl); 82 CHECK(ffi_prep_closure_loc(pcl, &cif, cls_struct_3byte_gn1, NULL, code) == FFI_OK);
|
H A D | cls_4byte.c | 31 cls_struct_4byte_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, 45 ffi_cif cif; local 70 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 2, &cls_struct_type, 77 ffi_call(&cif, FFI_FN(cls_struct_4byte_fn), &res_dbl, args_dbl); 82 CHECK(ffi_prep_closure_loc(pcl, &cif, cls_struct_4byte_gn, NULL, code) == FFI_OK);
|
H A D | cls_8byte.c | 30 cls_struct_8byte_gn(ffi_cif* cif __UNUSED__, void* resp, void** args, 44 ffi_cif cif; local 69 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 2, &cls_struct_type, 76 ffi_call(&cif, FFI_FN(cls_struct_8byte_fn), &res_dbl, args_dbl); 80 CHECK(ffi_prep_closure_loc(pcl, &cif, cls_struct_8byte_gn, NULL, code) == FFI_OK);
|
H A D | cls_9byte1.c | 32 static void cls_struct_9byte_gn(ffi_cif* cif __UNUSED__, void* resp, 45 ffi_cif cif; local 70 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 2, &cls_struct_type, 77 ffi_call(&cif, FFI_FN(cls_struct_9byte_fn), &res_dbl, args_dbl); 82 CHECK(ffi_prep_closure_loc(pcl, &cif, cls_struct_9byte_gn, NULL, code) == FFI_OK);
|
H A D | cls_9byte2.c | 32 static void cls_struct_9byte_gn(ffi_cif* cif __UNUSED__, void* resp, 45 ffi_cif cif; local 70 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 2, &cls_struct_type, 77 ffi_call(&cif, FFI_FN(cls_struct_9byte_fn), &res_dbl, args_dbl); 83 CHECK(ffi_prep_closure_loc(pcl, &cif, cls_struct_9byte_gn, NULL, code) == FFI_OK);
|
H A D | cls_longdouble.c | 35 cls_ldouble_gn(ffi_cif* cif __UNUSED__, void* resp, 53 ffi_cif cif; local 79 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 8, &ffi_type_longdouble, 92 ffi_call(&cif, FFI_FN(cls_ldouble_fn), &res, args); 97 CHECK(ffi_prep_closure_loc(pcl, &cif, cls_ldouble_gn, NULL, code) == FFI_OK);
|
H A D | closure_loc_fn0.c | 16 closure_loc_test_fn0(ffi_cif* cif __UNUSED__, void* resp, void** args, 51 ffi_cif cif; local 75 /* Initialize the cif */ 76 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 16, 83 CHECK(ffi_prep_closure_loc(pcl, &cif, closure_loc_test_fn0,
|
H A D | many.c | 28 ffi_cif cif; local 42 /* Initialize the cif */ 43 CHECK(ffi_prep_cif(&cif, ABI_NUM, 13, 46 ffi_call(&cif, FFI_FN(many), &f, values);
|
H A D | many2.c | 37 ffi_cif cif; local 45 CHECK (ffi_prep_cif (&cif, ABI_NUM, NARGS, 53 ffi_call (&cif, FFI_FN (bar), &result, argptrs);
|
H A D | many2_win32.c | 31 ffi_cif cif; local 45 /* Initialize the cif */ 46 CHECK(ffi_prep_cif(&cif, FFI_FASTCALL, 13, 56 ffi_call(&cif, FFI_FN(fastcall_many), &f, values);
|
H A D | many_win32.c | 31 ffi_cif cif; local 45 /* Initialize the cif */ 46 CHECK(ffi_prep_cif(&cif, FFI_STDCALL, 13, 56 ffi_call(&cif, FFI_FN(stdcall_many), &f, values);
|
H A D | struct1.c | 28 ffi_cif cif; local 52 /* Initialize the cif */ 53 CHECK(ffi_prep_cif(&cif, ABI_NUM, 1, 60 ffi_call(&cif, FFI_FN(struct1), ts1_result, values);
|
H A D | struct1_win32.c | 28 ffi_cif cif; local 52 /* Initialize the cif */ 53 CHECK(ffi_prep_cif(&cif, FFI_FASTCALL, 1, 60 ffi_call(&cif, FFI_FN(struct1), ts1_result, values);
|
H A D | struct2.c | 26 ffi_cif cif; local 48 /* Initialize the cif */ 49 CHECK(ffi_prep_cif(&cif, ABI_NUM, 1, &ts2_type, args) == FFI_OK); 57 ffi_call(&cif, FFI_FN(struct2), ts2_result, values);
|
H A D | struct2_win32.c | 26 ffi_cif cif; local 48 /* Initialize the cif */ 49 CHECK(ffi_prep_cif(&cif, FFI_FASTCALL, 1, &ts2_type, args) == FFI_OK); 57 ffi_call(&cif, FFI_FN(struct2), ts2_result, values);
|
H A D | struct4.c | 26 ffi_cif cif; local 50 /* Initialize the cif */ 51 CHECK(ffi_prep_cif(&cif, ABI_NUM, 1, &ts4_type, args) == FFI_OK); 57 ffi_call (&cif, FFI_FN(struct4), ts4_result, values);
|
H A D | struct5.c | 25 ffi_cif cif; local 50 /* Initialize the cif */ 51 CHECK(ffi_prep_cif(&cif, ABI_NUM, 2, &ts5_type, args) == FFI_OK); 58 ffi_call (&cif, FFI_FN(struct5), ts5_result, values);
|
H A D | struct6.c | 25 ffi_cif cif; local 48 /* Initialize the cif */ 49 CHECK(ffi_prep_cif(&cif, ABI_NUM, 1, &ts6_type, args) == FFI_OK); 57 ffi_call(&cif, FFI_FN(struct6), ts6_result, values);
|
H A D | struct7.c | 27 ffi_cif cif; local 51 /* Initialize the cif */ 52 CHECK(ffi_prep_cif(&cif, ABI_NUM, 1, &ts7_type, args) == FFI_OK); 62 ffi_call(&cif, FFI_FN(struct7), ts7_result, values);
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/aarch64/ |
H A D | ffi.c | 664 arg_init (&state, ALIGN(ecif->cif->bytes, 16)); 666 for (i = 0; i < ecif->cif->nargs; i++) 668 ffi_type *ty = ecif->cif->arg_types[i]; 744 if (i + 1 == ecif->cif->aarch64_nfixedargs) 754 return ecif->cif->aarch64_flags; 758 ffi_prep_cif_machdep (ffi_cif *cif) argument 761 cif->bytes = 762 (cif->bytes + (AARCH64_STACK_ALIGN - 1)) & ~ (AARCH64_STACK_ALIGN - 1); 768 cif->aarch64_flags = 0; 770 if (is_v_register_candidate (cif 795 ffi_prep_cif_machdep_var(ffi_cif *cif, unsigned int nfixedargs, unsigned int ntotalargs) argument 813 ffi_call(ffi_cif *cif, void (*fn)(void), void *rvalue, void **avalue) argument 928 ffi_prep_closure_loc(ffi_closure* closure, ffi_cif* cif, void (*fun)(ffi_cif*,void*,void**,void*), void *user_data, void *codeloc) argument 967 ffi_cif *cif = closure->cif; local [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/ |
H A D | ffi_darwin.c | 108 const unsigned bytes = ecif->cif->bytes; 109 const unsigned flags = ecif->cif->flags; 110 const unsigned nargs = ecif->cif->nargs; 112 const ffi_abi abi = ecif->cif->abi; 130 ffi_type** ptr = ecif->cif->arg_types; 656 /* Perform machine dependent cif processing. */ 658 ffi_prep_cif_machdep (ffi_cif *cif) argument 668 /* All the machine-independent calculation of cif->bytes will be wrong. 672 if (cif->abi == FFI_DARWIN) 674 darwin_adjust_aggregate_sizes (cif 915 ffi_call(ffi_cif *cif, void (*fn)(void), void *rvalue, void **avalue) argument 1004 ffi_prep_closure_loc(ffi_closure* closure, ffi_cif* cif, void (*fun)(ffi_cif*, void*, void**, void*), void *user_data, void *codeloc) argument 1137 ffi_cif * cif; local [all...] |