runtime/arm-{arch.h,linux-os.c}: Sort out i-cache handling.
commitfb8ec7049ccd50fe22f51e8957780fe21af9e54e
authorAlastair Bridgewater <nyef@kana.lisphacker.com>
Wed, 23 Apr 2014 20:36:43 +0000 (23 16:36 -0400)
committerAlastair Bridgewater <nyef@kana.lisphacker.com>
Sat, 10 May 2014 19:12:22 +0000 (10 15:12 -0400)
treec68c2368e3ffc7f3842d97ca554e5e725ffe58ae
parentb2978e2c61b72a47501499e2425f633522e70f1a
runtime/arm-{arch.h,linux-os.c}: Sort out i-cache handling.

  * Kill the function prototype in arm-arch.h, it's clearly been
cribbed from PPC which allows us to flush the i-cache from user
space.

  * Use GCC's __clear_cache() function (or whatever it is) to deal
with the required semantics in os_flush_icache().
src/runtime/arm-arch.h
src/runtime/arm-linux-os.c