/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 121 if (! (abi > FFI_FIRST_ABI && abi < FFI_LAST_ABI)) 124 cif->abi = abi; 132 ffi_prep_types (abi); 151 && (cif->abi != FFI_V9 || cif->rtype->size > 32) 184 && ((*ptr)->size > 16 || cif->abi != FFI_V9)) 186 && cif->abi != FFI_V9)) 226 ffi_status ffi_prep_cif(ffi_cif *cif, ffi_abi abi, unsigne 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 [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/tile/ |
H A D | ffitarget.h | 35 #include <arch/abi.h>
|
H A D | ffi.c | 32 #include <arch/abi.h> 228 if (cif->abi != FFI_UNIX) 260 if (cif->abi != FFI_UNIX)
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/ |
H A D | ffi.c | 54 const int cabi = ecif->cif->abi; 294 if (cif->abi == FFI_MS_CDECL) 330 if (cif->abi == FFI_SYSV || cif->abi == FFI_UNIX64) 379 switch (cif->abi) 401 ffi_call_win32(ffi_prep_args, &ecif, cif->abi, cif->bytes, cif->flags, 528 const int cabi = cif->abi; 729 if (cif->abi == FFI_WIN64) 738 if (cif->abi == FFI_SYSV) 744 else if (cif->abi 847 const unsigned int abi = cif->abi; local [all...] |
H A D | ffi64.c | 433 FFI_ASSERT (cif->abi == FFI_UNIX64); 543 int abi = cif->abi; local 544 if (UNLIKELY (! (abi > FFI_FIRST_ABI && abi < FFI_LAST_ABI)))
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/ |
H A D | ffi.c | 38 ffi_prep_types (ffi_abi abi) argument 42 ffi_prep_types_linux64 (abi); 44 ffi_prep_types_sysv (abi);
|
H A D | ffi_sysv.c | 47 ffi_prep_types_sysv (ffi_abi abi) argument 49 if ((abi & (FFI_SYSV | FFI_SYSV_LONG_DOUBLE_128)) == FFI_SYSV) 62 /* Transform long double, double and float to other types as per abi. */ 64 translate_float (int abi, int type) argument 68 && (abi & FFI_SYSV_LONG_DOUBLE_128) == 0) 71 if ((abi & FFI_SYSV_SOFT_FLOAT) != 0) 81 else if ((abi & FFI_SYSV_IBM_LONG_DOUBLE) == 0) 122 type = translate_float (cif->abi, type); 153 if ((cif->abi & FFI_SYSV_STRUCT_RET) != 0 && size <= 8) 179 typenum = translate_float (cif->abi, typenu [all...] |
H A D | ffi_linux64.c | 49 ffi_prep_types_linux64 (ffi_abi abi) argument 51 if ((abi & (FFI_LINUX | FFI_LINUX_LONG_DOUBLE_128)) == FFI_LINUX) 118 if ((cif->abi & FFI_LINUX_LONG_DOUBLE_128) != 0) 144 if ((cif->abi & FFI_LINUX_LONG_DOUBLE_128) != 0) 199 if ((cif->abi & FFI_LINUX_LONG_DOUBLE_128) != 0) 215 if ((cif->abi & FFI_LINUX_STRUCT_ALIGN) != 0) 292 if ((cif->abi & FFI_LINUX) != 0) 295 else if (cif->abi == FFI_COMPAT_LINUX64) 300 /* Translate to new abi value. */ 301 cif->abi [all...] |
H A D | ffi_darwin.c | 112 const ffi_abi abi = ecif->cif->abi; local 272 FFI_ASSERT (abi != FFI_DARWIN); 279 if (size_al < 3 && abi == FFI_DARWIN) 672 if (cif->abi == FFI_DARWIN) 679 if (cif->abi == FFI_AIX) 933 switch (cif->abi) 1014 switch (cif->abi) 1018 FFI_ASSERT (cif->abi == FFI_DARWIN); 1060 FFI_ASSERT (cif->abi [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
H A D | err_bad_abi.c | 31 cif.abi= 255;
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/cris/ |
H A D | ffi.c | 158 ffi_abi abi, unsigned int isvariadic, 169 FFI_ASSERT (abi > FFI_FIRST_ABI && abi < FFI_LAST_ABI); 171 cif->abi = abi; 260 switch (cif->abi) 374 FFI_ASSERT (cif->abi == FFI_SYSV); 157 ffi_prep_cif_core(ffi_cif * cif, ffi_abi abi, unsigned int isvariadic, unsigned int nfixedargs, unsigned int ntotalargs, ffi_type * rtype, ffi_type ** atypes) argument
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/mips/ |
H A D | ffi.c | 131 type = (ecif->cif->abi == FFI_N64 132 || ecif->cif->abi == FFI_N64_SOFT_FLOAT) 135 if (i < 8 && (ecif->cif->abi == FFI_N32_SOFT_FLOAT 136 || ecif->cif->abi == FFI_N64_SOFT_FLOAT)) 334 if (cif->rtype->type != FFI_TYPE_STRUCT && cif->abi == FFI_O32) 372 if (cif->abi == FFI_O32_SOFT_FLOAT) 427 int soft_float = (cif->abi == FFI_N32_SOFT_FLOAT 428 || cif->abi == FFI_N64_SOFT_FLOAT); 535 if (cif->abi == FFI_N32_SOFT_FLOAT || cif->abi 866 copy_struct_N32(char *target, unsigned offset, ffi_abi abi, ffi_type *type, int argn, unsigned arg_offset, ffi_arg *ar, ffi_arg *fpr, int soft_float) argument [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/msvc32include/ |
H A D | ffi.h | 221 ffi_abi abi;
member in struct:__anon27 234 void ffi_prep_types (ffi_abi abi);
239 ffi_abi abi,
432 ffi_abi abi,
438 ffi_abi abi,
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sparc/ |
H A D | ffi.c | 256 if (cif->abi != FFI_V9) 306 if (cif->abi == FFI_V9 && cif->rtype->size > 32) 316 if (cif->abi == FFI_V9) 324 if (cif->abi == FFI_V9) 407 switch (cif->abi) 500 if (cif->abi != FFI_V9) 510 if (cif->abi != FFI_V8)
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/arm/ |
H A D | ffi.c | 166 FFI_ASSERT(ecif->cif->abi == FFI_VFP); 257 if (cif->abi == FFI_VFP 282 if (cif->abi == FFI_VFP) 294 if (cif->abi == FFI_VFP) 295 cif->abi = FFI_SYSV; 336 switch (cif->abi) 396 if (cif->abi == FFI_VFP) 463 FFI_ASSERT(cif->abi == FFI_VFP); 781 if (cif->abi == FFI_SYSV) 784 else if (cif->abi [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/CodeTree/X86Code/ |
H A D | X86FOREIGNCALL.sml | 73 datatype abi = X86_32 | X64Win | X64Unix type 98 val abi = getABI() value 123 case abi of 149 if abi = X86_32 andalso nArgs >= 3 162 case (abi, nArgs) of (* Set the argument registers. *) 198 ReturnFromFunction(Int.max(case abi of X86_32 => nArgs-2 | _ => nArgs-5, 0)), 223 val abi = getABI() value 229 case abi of 254 case (abi, nArgs) of (* Set the argument registers. *) 289 ReturnFromFunction(Int.max(case abi o 313 val abi = getABI() value 411 val abi = getABI() value [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/arc/ |
H A D | ffi.c | 183 switch (cif->abi) 249 switch (cif->abi)
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/moxie/ |
H A D | ffi.c | 146 switch (cif->abi) 255 if (cif->abi != FFI_EABI)
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/vax/ |
H A D | ffi.c | 180 switch (cif->abi) 249 FFI_ASSERT (cif->abi == FFI_ELFBSD);
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/microblaze/ |
H A D | ffi.c | 141 switch (cif->abi) 165 switch (cif->abi) 291 switch (cif->abi)
|
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | Foreign.sml | 83 eqtype abi 85 val abiList: (string * abi) list 87 val abiDefault: abi 140 val createCIF: abi * ffiType * ffiType list -> cif 197 val callwithAbi: LibFFI.abi -> ctype list -> ctype -> symbol -> Memory.voidStar list * Memory.voidStar -> unit 201 LibFFI.abi -> ctype list -> ctype -> (Memory.voidStar * Memory.voidStar -> unit) -> Memory.voidStar 261 val buildClosure0withAbi: (unit -> 'a) * LibFFI.abi * unit * 'a conversion -> (unit -> 'a) closure 263 val buildClosure1withAbi: ('a -> 'b) * LibFFI.abi * 'a conversion * 'b conversion -> ('a -> 'b) closure 266 ('a * 'b -> 'c) * LibFFI.abi * ('a conversion * 'b conversion) * 'c conversion -> ('a * 'b -> 'c) closure 269 ('a * 'b *'c -> 'd) * LibFFI.abi * (' 534 type abi = Word.word type [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/bfin/ |
H A D | ffi.c | 128 switch (cif->abi) {
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/lib/ |
H A D | libffi.exp | 312 foreach abi $abis { 313 set options [concat $common $opt $abi]
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/m68k/ |
H A D | ffi.c | 239 switch (cif->abi) 331 if (cif->abi != FFI_SYSV)
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/m88k/ |
H A D | ffi.c | 250 switch (cif->abi) 375 FFI_ASSERT (cif->abi == FFI_OBSD);
|