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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/m88k/
H A Dobsd.S35 * ffi_cacheflush_OBSD(unsigned int addr, %r2
39 .globl ffi_cacheflush_OBSD
40 .type ffi_cacheflush_OBSD,@function
41 ffi_cacheflush_OBSD: label
45 .size ffi_cacheflush_OBSD, . - ffi_cacheflush_OBSD
H A Dffi.c59 void ffi_cacheflush_OBSD (unsigned int, unsigned int);
393 ffi_cacheflush_OBSD((unsigned int)codeloc, FFI_TRAMPOLINE_SIZE);

Completed in 88 milliseconds