[Patch] 3/3 FFI: Use __builtin_flush_icache() to flush MIPS i-cache.

[Tom Tromey]

>>>>> "Richard" == Richard Sandiford <rsandifo@nildram.co.uk> writes:

Richard> David Daney <ddaney@avtrex.com> writes:
>> A new version of the patch.  All that changed is the name of the 
>> builtin.  It is now __builtin___clear_cache().

Richard> Assuming this is considered part of the MIPS target...

Yes, target maintainers can approve patches to the corresponding
libffi port.

Tom