/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/vax/ |
H A D | ffi.c | 61 if (ecif->cif->rtype->type == FFI_TYPE_STRUCT 62 && !ecif->cif->flags) 69 for (i = ecif->cif->nargs, p_arg = ecif->cif->arg_types; 122 ffi_prep_cif_machdep (ffi_cif *cif) argument 125 switch (cif->rtype->type) 128 cif->flags = 0; 132 if (cif->rtype->elements[0]->type == FFI_TYPE_STRUCT && 133 cif->rtype->elements[1]) 135 cif 163 ffi_call(ffi_cif *cif, void (*fn) (), void *rvalue, void **avalue) argument 201 ffi_prep_closure_elfbsd(ffi_cif *cif, void **avalue, char *stackp) argument 228 ffi_cif *cif; local 242 ffi_prep_closure_loc(ffi_closure *closure, ffi_cif *cif, void (*fun)(ffi_cif *, void *, void **, void *), void *user_data, void *codeloc) argument [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/ |
H A D | ffi.c | 50 /* Perform machine dependent cif processing */ 52 ffi_prep_cif_machdep (ffi_cif *cif) argument 55 return ffi_prep_cif_linux64 (cif); 57 return ffi_prep_cif_sysv (cif); 62 ffi_prep_cif_machdep_var (ffi_cif *cif, argument 67 return ffi_prep_cif_linux64_var (cif, nfixedargs, ntotalargs); 69 return ffi_prep_cif_sysv (cif); 74 ffi_call(ffi_cif *cif, void (*fn)(void), void *rvalue, void **avalue) argument 88 ecif.cif = cif; 130 ffi_prep_closure_loc(ffi_closure *closure, ffi_cif *cif, void (*fun) (ffi_cif *, void *, void **, void *), void *user_data, void *codeloc) argument [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/m68k/ |
H A D | ffi.c | 49 (ecif->cif->rtype->type == FFI_TYPE_LONGDOUBLE) || 51 (((ecif->cif->rtype->type == FFI_TYPE_STRUCT) 52 && !ecif->cif->flags))) 59 for (i = ecif->cif->nargs, p_arg = ecif->cif->arg_types; 129 /* Perform machine dependent cif processing */ 131 ffi_prep_cif_machdep (ffi_cif *cif) argument 134 switch (cif->rtype->type) 137 cif->flags = 0; 141 if (cif 222 ffi_call(ffi_cif *cif, void (*fn) (), void *rvalue, void **avalue) argument 253 ffi_prep_incoming_args_SYSV(char *stack, void **avalue, ffi_cif *cif) argument 311 ffi_cif *cif; local 325 ffi_prep_closure_loc(ffi_closure* closure, ffi_cif* cif, void (*fun)(ffi_cif*,void*,void**,void*), void *user_data, void *codeloc) argument [all...] |
/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__, 18 ffi_cif cif; local 25 CHECK(ffi_prep_cif(&cif, 255, 0, &ffi_type_void, 28 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 0, &ffi_type_void, 31 cif.abi= 255; 33 CHECK(ffi_prep_closure_loc(pcl, &cif, dummy_fn, NULL, code) == FFI_BAD_ABI);
|
H A D | err_bad_typedef.c | 13 ffi_cif cif; local 22 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 0, &badType,
|
H A D | strlen.c | 17 ffi_cif cif; local 26 /* Initialize the cif */ 27 CHECK(ffi_prep_cif(&cif, ABI_NUM, 1, 31 ffi_call(&cif, FFI_FN(my_strlen), &rint, values); 35 ffi_call(&cif, FFI_FN(my_strlen), &rint, values); 39 ffi_call(&cif, FFI_FN(my_strlen), &rint, values);
|
H A D | return_fl.c | 16 ffi_cif cif; local 24 /* Initialize the cif */ 25 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 1, 30 ffi_call(&cif, FFI_FN(return_fl), &rfl, values);
|
H A D | return_ldl.c | 16 ffi_cif cif; local 24 /* Initialize the cif */ 25 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 1, 30 ffi_call(&cif, FFI_FN(return_ldl), &rldl, values);
|
H A D | return_sc.c | 16 ffi_cif cif; local 25 /* Initialize the cif */ 26 CHECK(ffi_prep_cif(&cif, FFI_DEFAULT_ABI, 1, 32 ffi_call(&cif, FFI_FN(return_sc), &rint, values);
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/ |
H A D | ffi.c | 54 const int cabi = ecif->cif->abi; 65 if ((ecif->cif->flags == FFI_TYPE_STRUCT 66 || ecif->cif->flags == FFI_TYPE_MS_STRUCT) 68 && ((ecif->cif->rtype->size & (1 | 2 | 4 | 8)) == 0) 86 p_arg = ecif->cif->arg_types; 90 const int nargs = ecif->cif->nargs - 1; 98 for (i = ecif->cif->nargs; 232 /* Perform machine dependent cif processing */ 233 ffi_status ffi_prep_cif_machdep(ffi_cif *cif) argument 239 switch (cif 350 ffi_call(ffi_cif *cif, void (*fn)(void), void *rvalue, void **avalue) argument 444 ffi_cif *cif; local 475 ffi_cif *cif; local 498 ffi_cif *cif; local 520 ffi_prep_incoming_args(char *stack, void **rvalue, void **avalue, ffi_cif *cif) argument 720 ffi_prep_closure_loc(ffi_closure* closure, ffi_cif* cif, void (*fun)(ffi_cif*,void*,void**,void*), void *user_data, void *codeloc) argument 794 ffi_prep_raw_closure_loc(ffi_raw_closure* closure, ffi_cif* cif, void (*fun)(ffi_cif*,void*,ffi_raw*,void*), void *user_data, void *codeloc) argument 843 const ffi_cif *cif = ecif->cif; local 880 ffi_raw_call(ffi_cif *cif, void (*fn)(void), void *rvalue, ffi_raw *fake_avalue) argument [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/moxie/ |
H A D | ffi.c | 46 if (ecif->cif->rtype->type == FFI_TYPE_STRUCT) 52 for (i = ecif->cif->nargs, p_arg = ecif->cif->arg_types; 106 /* Perform machine dependent cif processing */ 107 ffi_status ffi_prep_cif_machdep(ffi_cif *cif) argument 109 if (cif->rtype->type == FFI_TYPE_STRUCT) 110 cif->flags = -1; 112 cif->flags = cif->rtype->size; 114 cif 125 ffi_call(ffi_cif *cif, void (*fn)(void), void *rvalue, void **avalue) argument 182 ffi_cif *cif = closure->cif; local 245 ffi_prep_closure_loc(ffi_closure* closure, ffi_cif* cif, void (*fun)(ffi_cif*, void*, void**, void*), void *user_data, void *codeloc) argument [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/arc/ |
H A D | ffi.c | 57 if (ecif->cif->rtype->type == FFI_TYPE_STRUCT) 65 for (i = ecif->cif->nargs, p_arg = ecif->cif->arg_types; 132 /* Perform machine dependent cif processing. */ 134 ffi_prep_cif_machdep (ffi_cif * cif) argument 137 switch (cif->rtype->type) 140 cif->flags = (unsigned) cif->rtype->type; 144 cif->flags = (unsigned) cif 167 ffi_call(ffi_cif * cif, void (*fn) (void), void *rvalue, void **avalue) argument 201 ffi_cif *cif = closure->cif; local 243 ffi_prep_closure_loc(ffi_closure * closure, ffi_cif * cif, void (*fun) (ffi_cif *, void *, void **, void *), void *user_data, void *codeloc) argument [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/nios2/ |
H A D | ffi.c | 58 /* Perform machine-dependent cif processing. */ 60 ffi_status ffi_prep_cif_machdep (ffi_cif *cif) argument 66 if (cif->bytes < 16) 67 cif->bytes = 16; 69 cif->bytes = (cif->bytes + 3) & ~3; 88 if (ecif->cif->rtype->type == FFI_TYPE_STRUCT 89 && ecif->cif->rtype->size > 8) 95 for (i = 0; i < ecif->cif->nargs; i++) 98 ffi_type *atype = ecif->cif 150 ffi_call(ffi_cif *cif, void (*fn) (void), void *rvalue, void **avalue) argument 206 ffi_cif *cif = closure->cif; local 253 ffi_prep_closure_loc(ffi_closure* closure, ffi_cif* cif, void (*fun) (ffi_cif*, void*, void**, void*), void *user_data, void *codeloc) argument [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/alpha/ |
H A D | ffi.c | 49 ffi_prep_cif_machdep(ffi_cif *cif) argument 51 /* Adjust cif->bytes to represent a minimum 6 words for the temporary 53 if (cif->bytes < 6*FFI_SIZEOF_ARG) 54 cif->bytes = 6*FFI_SIZEOF_ARG; 57 switch (cif->rtype->type) 62 cif->flags = cif->rtype->type; 67 cif->flags = FFI_TYPE_STRUCT; 71 cif->flags = FFI_TYPE_INT; 80 ffi_call(ffi_cif *cif, voi argument 174 ffi_prep_closure_loc(ffi_closure* closure, ffi_cif* cif, void (*fun)(ffi_cif*, void*, void**, void*), void *user_data, void *codeloc) argument 211 ffi_cif *cif; local [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/metag/ |
H A D | ffi.c | 47 if ( ecif->cif->flags == FFI_TYPE_STRUCT ) { 55 for (i = ecif->cif->nargs, p_arg = ecif->cif->arg_types; (i != 0); i--, p_arg++, p_argv++) 99 /* Perform machine dependent cif processing */ 100 ffi_status ffi_prep_cif_machdep(ffi_cif *cif) argument 105 for (ptr = cif->arg_types, i = cif->nargs; i > 0; i--, ptr++) { 124 if (cif->rtype->type == FFI_TYPE_STRUCT) { 131 cif->bytes = bytes; 134 switch (cif 173 ffi_call(ffi_cif *cif, void (*fn)(void), void *rvalue, void **avalue) argument 241 ffi_prep_closure_loc(ffi_closure *closure, ffi_cif* cif, void (*fun)(ffi_cif*,void*,void**,void*), void *user_data, void *codeloc) argument 274 ffi_cif *cif; local 294 ffi_prep_incoming_args_SYSV(char *stack, void **rvalue, void **avalue, ffi_cif *cif, float *vfp_stack) argument [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ |
H A D | prep_cif.c | 107 ffi_status FFI_HIDDEN ffi_prep_cif_core(ffi_cif *cif, ffi_abi abi, argument 117 FFI_ASSERT(cif != NULL); 124 cif->abi = abi; 125 cif->arg_types = atypes; 126 cif->nargs = ntotalargs; 127 cif->rtype = rtype; 129 cif->flags = 0; 136 if ((cif->rtype->size == 0) && (initialize_aggregate(cif->rtype) != FFI_OK)) 144 FFI_ASSERT_VALID_TYPE(cif 226 ffi_prep_cif(ffi_cif *cif, ffi_abi abi, unsigned int nargs, ffi_type *rtype, ffi_type **atypes) argument 232 ffi_prep_cif_var(ffi_cif *cif, ffi_abi abi, unsigned int nfixedargs, unsigned int ntotalargs, ffi_type *rtype, ffi_type **atypes) argument 245 ffi_prep_closure(ffi_closure* closure, ffi_cif* cif, void (*fun)(ffi_cif*,void*,void**,void*), void *user_data) argument [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/bfin/ |
H A D | ffi.c | 67 ffi_status ffi_prep_cif_machdep(ffi_cif *cif) argument 72 switch (cif->rtype->type) { 74 cif->flags = FFIBFIN_RET_VOID; 78 cif->flags = FFIBFIN_RET_HALFWORD; 81 cif->flags = FFIBFIN_RET_BYTE; 89 cif->flags = FFIBFIN_RET_INT32; 94 cif->flags = FFIBFIN_RET_INT64; 97 if (cif->rtype->size <= 4){ 98 cif->flags = FFIBFIN_RET_INT32; 99 }else if (cif 120 ffi_call(ffi_cif *cif, void(*fn)(void), void *rvalue, void **avalue) argument [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sparc/ |
H A D | ffi.c | 50 if ( ecif->cif->rtype->type == FFI_TYPE_STRUCT ) */ 70 for (i = ecif->cif->nargs, p_arg = ecif->cif->arg_types; i; i--, p_arg++) 150 if (ecif->cif->rtype->type == FFI_TYPE_STRUCT && 151 ecif->cif->rtype->size > 32) 158 for (i = 0, p_arg = ecif->cif->arg_types; i < ecif->cif->nargs; 251 /* Perform machine dependent cif processing */ 252 ffi_status ffi_prep_cif_machdep(ffi_cif *cif) argument 256 if (cif 383 ffi_call(ffi_cif *cif, void (*fn)(void), void *rvalue, void **avalue) argument 489 ffi_prep_closure_loc(ffi_closure* closure, ffi_cif* cif, void (*fun)(ffi_cif*, void*, void**, void*), void *user_data, void *codeloc) argument 543 ffi_cif *cif; local 608 ffi_cif *cif; local [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/m32r/ |
H A D | ffi.c | 47 if (ecif->cif->rtype->type == FFI_TYPE_STRUCT && ecif->cif->rtype->size > 8) 53 avn = ecif->cif->nargs; 56 for (i = ecif->cif->nargs, p_arg = ecif->cif->arg_types; 138 /* Perform machine dependent cif processing. */ 140 ffi_prep_cif_machdep(ffi_cif *cif) argument 143 switch (cif->rtype->type) 146 cif->flags = (unsigned) cif 178 ffi_call(ffi_cif *cif, void (*fn)(void), void *rvalue, void **avalue) argument [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/avr32/ |
H A D | ffi.c | 79 /* If cif->flags is struct then we know it's not passed in registers */ 80 if(ecif->cif->flags == FFI_TYPE_STRUCT) 86 for(i = 0, p_arg = ecif->cif->arg_types; i < ecif->cif->nargs; 176 /* Perform machine dependent cif processing */ 177 ffi_status ffi_prep_cif_machdep(ffi_cif *cif) argument 182 cif->bytes = (cif->bytes + 7) & ~7; 185 cif->rstruct_flag = 0; 188 switch(cif 235 ffi_call(ffi_cif *cif, void (*fn)(void), void *rvalue, void **avalue) argument 269 ffi_prep_incoming_args_SYSV(char *stack, void **rvalue, void **avalue, ffi_cif *cif) argument 370 ffi_cif *cif; local 394 ffi_prep_closure_loc(ffi_closure* closure, ffi_cif* cif, void (*fun)(ffi_cif*, void*, void**, void*), void *user_data, void *codeloc) argument [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/or1k/ |
H A D | ffi.c | 41 nfixedargs = ecif->cif->nfixedargs; 42 arg = ecif->cif->arg_types; 45 if (ecif->cif->rtype->type == FFI_TYPE_STRUCT) 51 for(i=0; i<ecif->cif->nargs; i++) 119 void ffi_call(ffi_cif *cif, void (*fn)(void), void *rvalue, void **avalue) argument 127 for(i = 0, arg = cif->arg_types, size=0; i < cif->nargs; i++, arg++) 139 if (cif->nargs != cif->nfixedargs) 142 if (cif 179 ffi_cif *cif = closure->cif; local 265 ffi_prep_closure_loc(ffi_closure* closure, ffi_cif* cif, void (*fun)(ffi_cif*,void*,void**,void*), void *user_data, void *codeloc) argument 303 ffi_prep_cif_machdep(ffi_cif *cif) argument 320 ffi_prep_cif_machdep_var(ffi_cif *cif, unsigned int nfixedargs, unsigned int ntotalargs) argument [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/cris/ |
H A D | ffi.c | 82 for (i = ecif->cif->nargs, p_arg = ecif->cif->arg_types; 106 uiLocOnStack = 4 * ecif->cif->nargs + struct_count; 157 ffi_prep_cif_core (ffi_cif * cif, argument 166 FFI_ASSERT (cif != NULL); 171 cif->abi = abi; 172 cif->arg_types = atypes; 173 cif->nargs = ntotalargs; 174 cif->rtype = rtype; 176 cif 219 ffi_prep_cif_machdep(ffi_cif * cif) argument 246 ffi_call(ffi_cif * cif, void (*fn) (), void *rvalue, void **avalue) argument 303 ffi_cif *cif = closure->cif; local 367 ffi_prep_closure_loc(ffi_closure* closure, ffi_cif* cif, void (*fun)(ffi_cif *, void *, void **, void*), void *user_data, void *codeloc) argument [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/xtensa/ |
H A D | ffi.c | 55 ffi_status ffi_prep_cif_machdep(ffi_cif *cif) argument 57 switch(cif->rtype->type) { 62 cif->flags = cif->rtype->type; 66 cif->flags = FFI_TYPE_UINT32; 71 cif->flags = FFI_TYPE_UINT64; // cif->rtype->type; 74 cif->flags = FFI_TYPE_STRUCT; //_REGS; 76 if (cif->rtype->size > 4 * 4) { 79 cif 190 ffi_call(ffi_cif* cif, void(*fn)(void), void *rvalue, void **avalue) argument 229 ffi_prep_closure_loc(ffi_closure* closure, ffi_cif* cif, void (*fun)(ffi_cif*, void*, void**, void*), void *user_data, void *codeloc) argument 253 ffi_cif *cif; local [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sh64/ |
H A D | ffi.c | 69 if (return_type (ecif->cif->rtype) == FFI_TYPE_STRUCT) 75 avn = ecif->cif->nargs; 78 for (i = 0, p_arg = ecif->cif->arg_types; i < avn; i++, p_arg++, p_argv++) 155 /* Perform machine dependent cif processing */ 156 ffi_status ffi_prep_cif_machdep(ffi_cif *cif) argument 165 greg = (return_type (cif->rtype) == FFI_TYPE_STRUCT ? 1 : 0); 167 cif->flags2 = 0; 169 for (i = j = 0; i < cif->nargs; i++) 171 type = (cif->arg_types)[i]->type; 176 cif 251 ffi_call( ffi_cif *cif, void (*fn)(void), void *rvalue, void **avalue) argument 297 ffi_prep_closure_loc(ffi_closure *closure, ffi_cif *cif, void (*fun)(ffi_cif*, void*, void**, void*), void *user_data, void *codeloc) argument 357 ffi_cif *cif; local [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/m88k/ |
H A D | ffi.c | 86 if (ecif->cif->rtype->type == FFI_TYPE_STRUCT 87 && !ecif->cif->flags) 94 for (i = ecif->cif->nargs, p_arg = ecif->cif->arg_types; i != 0; i--, p_arg++) 198 /* Perform machine dependent cif processing */ 200 ffi_prep_cif_machdep (ffi_cif *cif) argument 203 switch (cif->rtype->type) 206 cif->flags = 0; 210 if (cif->rtype->size == sizeof (int) && 211 cif 232 ffi_call(ffi_cif *cif, void (*fn) (), void *rvalue, void **avalue) argument 267 ffi_prep_closure_args_OBSD(ffi_cif *cif, void **avalue, unsigned int *regp, char *stackp) argument 354 ffi_cif *cif; local 368 ffi_prep_closure_loc(ffi_closure* closure, ffi_cif* cif, void (*fun)(ffi_cif*,void*,void**,void*), void *user_data, void *codeloc) argument [all...] |