commit 664a79735e4deb10dd652cee370c9b13d9b10db9
author Richard Henderson <richard.henderson@linaro.org> Sat Dec 12 10:46:34 2020 -0600
committer Richard Henderson <richard.henderson@linaro.org> Thu Jan 07 05:09:41 2021 -1000
tree 4a73897bf56d29f57b6e36dbda7fd709cbaeca48
parent 1da8de39a39c55560cb4bf0cea94d598fea035cd

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>