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 Dreturn_ll.c9 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 Dreturn_ll1.c10 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 DMakefile.am70 libffi.call/struct6.c libffi.call/return_ll.c libffi.call/struct9.c \
H A DMakefile.in346 libffi.call/struct6.c libffi.call/return_ll.c libffi.call/struct9.c \

Completed in 85 milliseconds