Searched refs:ffi_call_SYSV (Results 26 - 33 of 33) sorted by relevance
12
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/arm/ |
| H A D | sysv.S | 159 ARM_FUNC_START(ffi_call_SYSV)
242 .size CNAME(ffi_call_SYSV),.ffi_call_SYSV_end-CNAME(ffi_call_SYSV)
|
| H A D | ffi.c | 301 extern void ffi_call_SYSV (void (*fn)(void), extended_cif *, unsigned, unsigned, unsigned *);
339 ffi_call_SYSV (fn, &ecif, cif->bytes, cif->flags, ecif.rvalue);
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/ |
| H A D | ffi.c | 346 extern void ffi_call_SYSV(void (*)(char *, extended_cif *), extended_cif *,
389 ffi_call_SYSV(ffi_prep_args, &ecif, cif->bytes, cif->flags, ecif.rvalue,
905 ffi_call_SYSV(ffi_prep_args_raw, &ecif, cif->bytes, cif->flags,
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/s390/ |
| H A D | ffi.c | 87 extern void ffi_call_SYSV(unsigned,
532 ffi_call_SYSV (cif->bytes, &ecif, ffi_prep_args,
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sh/ |
| H A D | ffi.c | 409 extern void ffi_call_SYSV(void (*)(char *, extended_cif *), extended_cif *,
437 ffi_call_SYSV(ffi_prep_args, &ecif, cif->bytes, cif->flags, ecif.rvalue,
|
| H A D | sysv.S | 54 ENTRY(ffi_call_SYSV)
493 .size CNAME(ffi_call_SYSV),.ffi_call_SYSV_end-CNAME(ffi_call_SYSV)
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/aarch64/ |
| H A D | ffi.c | 226 ffi_call_SYSV (unsigned (*)(struct call_context *context, unsigned char *,
837 ffi_call_SYSV (aarch64_prep_args, &context, &ecif, stack_bytes, fn);
895 ffi_call_SYSV (aarch64_prep_args, &context, &ecif,
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sh64/ |
| H A D | sysv.S | 57 ENTRY(ffi_call_SYSV)
320 .size CNAME(ffi_call_SYSV),.ffi_call_SYSV_end-CNAME(ffi_call_SYSV)
|
Completed in 52 milliseconds
12