Searched refs:return_sl (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dreturn_sl.c9 static long return_sl(long l1, long l2) function
33 ffi_call(&cif, FFI_FN(return_sl), &res, values);
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/
H A DMakefile.am56 libffi.call/stret_large2.c libffi.call/return_sl.c \
H A DMakefile.in332 libffi.call/stret_large2.c libffi.call/return_sl.c \

Completed in 33 milliseconds