Richard Henderson 664a79735e util: Specialize flush_idcache_range for aarch64
For darwin, the CTR_EL0 register is not accessible, but there
are system routines that we can use.

For other hosts, copy the single pointer implementation from
libgcc and modify it to support the double pointer interface
we require.  This halves the number of cache operations required
when split-rwx is enabled.

Reviewed-by: Joelle van Dyne <j@getutm.app>
Signed-off-by: Richard Henderson <richard.henderson@linaro.org>
2021-01-07 05:09:41 -10:00
..
2020-09-23 13:41:58 +01:00
2020-10-29 06:37:24 +01:00
2020-12-10 17:16:44 +01:00
2020-09-22 15:42:23 +01:00
2020-11-23 13:03:13 +00:00