Searched refs:ffi_call_unix64 (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/ |
| H A D | unix64.S | 36 /* ffi_call_unix64 (void *args, unsigned long bytes, unsigned flags,
44 .globl ffi_call_unix64
45 .type ffi_call_unix64,@function
47 ffi_call_unix64: label
204 .size ffi_call_unix64,.-ffi_call_unix64
|
| H A D | ffi64.c | 67 extern void ffi_call_unix64 (void *args, unsigned long bytes, unsigned flags,
525 ffi_call_unix64 (stack, cif->bytes + sizeof (struct register_args),
|
Completed in 34 milliseconds