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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dclosure_fn0.c44 typedef int (*closure_test_type0)(unsigned long long, int, unsigned long long, typedef
82 res = (*((closure_test_type0)code))
H A Dclosure_fn4.c51 typedef int (*closure_test_type0)(unsigned long long, unsigned long long, typedef
81 res = (*((closure_test_type0)code))
H A Dclosure_fn5.c50 typedef int (*closure_test_type0)(unsigned long long, unsigned long long, typedef
84 res = (*((closure_test_type0)code))
H A Dclosure_fn6.c43 typedef int (*closure_test_type0)(unsigned long long, typedef
83 res = (*((closure_test_type0)code))
H A Dclosure_stdcall.c26 typedef int (__stdcall *closure_test_type0)(int, int, int, int); typedef
57 res = (*(closure_test_type0)code)(0, 1, 2, 3);
H A Dclosure_thiscall.c26 typedef int (__thiscall *closure_test_type0)(int, int, int, int); typedef
57 res = (*(closure_test_type0)code)(0, 1, 2, 3);

Completed in 82 milliseconds