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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sparc/
H A Dv8.S38 .globl ffi_flush_icache
41 ffi_flush_icache: label
60 .size ffi_flush_icache,.ffi_flush_icache_end-ffi_flush_icache
H A Dffi.c380 void ffi_flush_icache (void *, size_t);
445 ffi_flush_icache (call_struct, 32);
533 ffi_flush_icache (closure, 16);

Completed in 62 milliseconds