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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dreturn_uc.c10 static unsigned char return_uc(unsigned char uc) function
34 ffi_call(&cif, FFI_FN(return_uc), &rint, values);
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/
H A DMakefile.am45 libffi.call/return_uc.c \
H A DMakefile.in321 libffi.call/return_uc.c \

Completed in 38 milliseconds