Searched refs:return_ll (Results 1 - 4 of 4) sorted by relevance
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/ |
H A D | return_ll.c | 9 static long long return_ll(long long ll) function 31 ffi_call(&cif, FFI_FN(return_ll), &rlonglong, values); 37 ffi_call(&cif, FFI_FN(return_ll), &rlonglong, values);
|
H A D | return_ll1.c | 10 static long long return_ll(int ll0, long long ll1, int ll2) function 39 ffi_call(&cif, FFI_FN(return_ll), &rlonglong, values);
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/ |
H A D | Makefile.am | 70 libffi.call/struct6.c libffi.call/return_ll.c libffi.call/struct9.c \
|
H A D | Makefile.in | 346 libffi.call/struct6.c libffi.call/return_ll.c libffi.call/struct9.c \
|
Completed in 85 milliseconds