Do we need this? Can't you use __builtin___clear_cache instead? On Mon, 12 Nov 2018, Robert Swindells wrote:
We don't have an aarch64 version of arm_sync_icache() or a libarch to put it in. Any preferences for names for them ? How about: aarch64_sync_icache(2) in /usr/lib/libaarch64.so I have written a first go at the kernel side. Do we want to still share sysarch.h between arm32 and aarch64 ? If keeping the shared header then an alternative design could be to keep the name of the userland function as arm_sync_icache(2) but still put it in /usr/lib/aarch64.so. Robert Swindells