Searched defs:abi (Results 1 - 13 of 13) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/
H A Dffi.c38 ffi_prep_types (ffi_abi abi) argument
H A Dffi_sysv.c47 ffi_prep_types_sysv (ffi_abi abi) argument
64 translate_float (int abi, int type) argument
[all...]
H A Dffi_linux64.c49 ffi_prep_types_linux64 (ffi_abi abi) argument
[all...]
H A Dffi_darwin.c112 const ffi_abi abi = ecif->cif->abi; local
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/
H A Dprep_cif.c107 ffi_status FFI_HIDDEN ffi_prep_cif_core(ffi_cif *cif, ffi_abi abi, argument
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/cris/
H A Dffi.c157 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/mlsource/MLCompiler/CodeTree/X86Code/
H A DX86FOREIGNCALL.sml73 datatype abi = X86_32 | X64Win | X64Unix type
98 val abi = getABI() value
223 val abi = getABI() value
313 val abi = getABI() value
411 val abi = getABI() value
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/mips/
H A Dffi.c866 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/src/x86/
H A Dffi.c847 const unsigned int abi = cif->abi; local
[all...]
H A Dffi64.c543 int abi = cif->abi; local
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dpolyffi.cpp364 ffi_abi abi = (ffi_abi)get_C_ushort(taskData, args->WordP()->Get(0)); local
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/msvc32include/
H A Dffi.h221 ffi_abi abi; member in struct:__anon27
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DForeign.sml534 type abi = Word.word type
[all...]

Completed in 136 milliseconds