On 6/5/23 10:56, Philippe Mathieu-Daudé wrote:
Per the cache(3) man page, sys_icache_invalidate() and
sys_dcache_flush() are declared in <libkern/OSCacheControl.h>.
Signed-off-by: Philippe Mathieu-Daudé<phi...@linaro.org>
---
util/cacheflush.c | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Reviewed-by: Richard Henderson <richard.hender...@linaro.org>
I'll note that a comment in OSCacheControl.h says that sys_icache_invalidate performs both
dcache and icache flush, and so we don't need to call sys_dcache_flush.
r~
