Searched defs:stub (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dproblem1.c30 void stub(ffi_cif* cif __UNUSED__, void* resp, void** args, function
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/
H A Ddarwin_closure.S
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/
H A Ddarwin.S
H A Dwin32.S

Completed in 95 milliseconds