On 2/21/23 05:30, Pierrick Bouvier wrote:
ctr_el0 access is privileged on this platform and fails as an illegal
instruction.
Windows does not offer a way to flush data cache from userspace, and
only FlushInstructionCache is available in Windows API.
The generic implementation of flush_idcache_range uses,
__builtin___clear_cache, which already use the FlushInstructionCache
function. So we rely on that.
Signed-off-by: Pierrick Bouvier <pierrick.bouv...@linaro.org>
Reviewed-by: Richard Henderson <richard.hender...@linaro.org>
---
util/cacheflush.c | 14 +++++++++++---
1 file changed, 11 insertions(+), 3 deletions(-)
Queueing this to tcg-next.
r~