| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/or1k/ |
| H A D | sysv.S | 32 .globl ffi_call_SYSV
33 .type ffi_call_SYSV, @function
43 ffi_call_SYSV: label
107 .size ffi_call_SYSV, .-ffi_call_SYSV
|
| H A D | ffi.c | 111 extern void ffi_call_SYSV(unsigned,
154 ffi_call_SYSV(size, &ecif, ffi_prep_args, rvalue, fn, cif->flags);
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/m32r/ |
| H A D | sysv.S | 47 ENTRY(ffi_call_SYSV)
121 .size CNAME(ffi_call_SYSV),.ffi_call_SYSV_end-CNAME(ffi_call_SYSV)
|
| H A D | ffi.c | 175 extern void ffi_call_SYSV(void (*)(char *, extended_cif *), extended_cif *,
198 ffi_call_SYSV(ffi_prep_args, &ecif, cif->bytes,
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/ |
| H A D | ffi_powerpc.h | 59 void FFI_HIDDEN ffi_call_SYSV(extended_cif *, unsigned, unsigned, unsigned *,
|
| H A D | ffi.c | 102 ffi_call_SYSV (&ecif, -cif->bytes, cif->flags, ecif.rvalue, fn);
|
| H A D | sysv.S | 35 ENTRY(ffi_call_SYSV)
155 END(ffi_call_SYSV)
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/avr32/ |
| H A D | sysv.S | 40 .globl ffi_call_SYSV
41 .type ffi_call_SYSV, @function
42 ffi_call_SYSV: label
133 .size ffi_call_SYSV, . - ffi_call_SYSV
|
| H A D | ffi.c | 38 extern void ffi_call_SYSV(void (*)(char *, extended_cif *), extended_cif *,
260 ffi_call_SYSV(ffi_prep_args, &ecif, size, cif->flags,
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/aarch64/ |
| H A D | sysv.S | 46 .globl CNAME(ffi_call_SYSV)
48 .type CNAME(ffi_call_SYSV), #function
54 /* ffi_call_SYSV()
60 ffi_call_SYSV() allocates that stack space then calls the
71 ffi_call_SYSV (void (*)(struct call_context *context, unsigned char *,
104 CNAME(ffi_call_SYSV):
203 .size CNAME(ffi_call_SYSV), .-CNAME(ffi_call_SYSV)
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/microblaze/ |
| H A D | sysv.S | 42 .globl ffi_call_SYSV
43 .type ffi_call_SYSV, @function
44 ffi_call_SYSV: label
178 .size ffi_call_SYSV, . - ffi_call_SYSV
|
| H A D | ffi.c | 30 extern void ffi_call_SYSV(void (*)(void*, extended_cif*), extended_cif*,
168 ffi_call_SYSV(ffi_prep_args, &ecif, cif->bytes, cif->flags,
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/bfin/ |
| H A D | ffi.c | 55 extern void ffi_call_SYSV(unsigned, extended_cif *, void(*)(unsigned char *, extended_cif *), unsigned, void *, void(*fn)(void));
130 ffi_call_SYSV(cif->bytes, &ecif, ffi_prep_args, ret_type, ecif.rvalue, fn);
|
| H A D | sysv.S | 37 that's why the function here it's called _ffi_call_SYSV and not ffi_call_SYSV
41 .func ffi_call_SYSV
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/s390/ |
| H A D | sysv.S | 44 .globl ffi_call_SYSV
45 .type ffi_call_SYSV,%function
46 ffi_call_SYSV: label
113 .size ffi_call_SYSV,.ffi_call_SYSV_end-ffi_call_SYSV
247 .globl ffi_call_SYSV
248 .type ffi_call_SYSV,%function
249 ffi_call_SYSV: label
317 .size ffi_call_SYSV,.ffi_call_SYSV_end-ffi_call_SYSV
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/m68k/ |
| H A D | sysv.S | 55 .globl CALLFUNC(ffi_call_SYSV)
56 .type CALLFUNC(ffi_call_SYSV),@function
59 CALLFUNC(ffi_call_SYSV):
201 .size CALLFUNC(ffi_call_SYSV),.-CALLFUNC(ffi_call_SYSV)
|
| H A D | ffi.c | 24 void ffi_call_SYSV (extended_cif *,
242 ffi_call_SYSV (&ecif, cif->bytes, cif->flags,
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/ |
| H A D | freebsd.S | 39 .globl ffi_call_SYSV
40 .type ffi_call_SYSV,@function
42 ffi_call_SYSV: label
182 .size ffi_call_SYSV,.ffi_call_SYSV_end-ffi_call_SYSV
|
| H A D | sysv.S | 39 .globl ffi_call_SYSV
40 .type ffi_call_SYSV,@function
42 ffi_call_SYSV: label
168 .size ffi_call_SYSV,.ffi_call_SYSV_end-ffi_call_SYSV
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/cris/ |
| H A D | ffi.c | 240 extern void ffi_call_SYSV (int (*)(char *, extended_cif *),
263 ffi_call_SYSV (ffi_prep_args, &ecif, cif->bytes,
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/metag/ |
| H A D | ffi.c | 163 extern void ffi_call_SYSV(void (*fn)(void), extended_cif *, unsigned, unsigned, double *);
197 ffi_call_SYSV(fn, &ecif, cif->bytes, cif->flags, ecif.rvalue);
|
| H A D | sysv.S | 109 METAG_FUNC_START ffi_call_SYSV
163 ! fn was the first argument of ffi_call_SYSV.
240 .size CNAME(ffi_call_SYSV),.ffi_call_SYSV_end-CNAME(ffi_call_SYSV)
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/xtensa/ |
| H A D | ffi.c | 51 extern void ffi_call_SYSV(void *rvalue, unsigned rsize, unsigned flags,
219 ffi_call_SYSV (ecif.rvalue, rsize, cif->flags, fn, cif->bytes, &ecif);
|
| H A D | sysv.S | 47 /* ffi_call_SYSV (rvalue, rbytes, flags, (*fnaddr)(), bytes, ecif)
56 ENTRY(ffi_call_SYSV)
159 END(ffi_call_SYSV)
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sh64/ |
| H A D | ffi.c | 243 extern void ffi_call_SYSV(void (*)(char *, extended_cif *),
279 ffi_call_SYSV(ffi_prep_args, &ecif, cif->bytes, cif->flags, cif->flags2,
|