aarch64 libarch

[Robert Swindells <rjs%fdy2.co.uk@localhost>]

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