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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dstrlen_win32.c11 static size_t __attribute__((stdcall)) my_stdcall_strlen(char *s) function
31 ffi_call(&cif, FFI_FN(my_stdcall_strlen), &rint, values);
35 ffi_call(&cif, FFI_FN(my_stdcall_strlen), &rint, values);
39 ffi_call(&cif, FFI_FN(my_stdcall_strlen), &rint, values);

Completed in 78 milliseconds