Searched defs:trampoline (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/arm/
H A Dgentramp.sh88 trampoline () { function
H A Dffi.c567 void *(*trampoline)(); member in struct:ffi_trampoline_table_entry
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/aarch64/
H A Dffi.c907 static unsigned char trampoline [] = variable

Completed in 83 milliseconds