aarch64-arch-helpers
Helper functions to access aarch64 CPU registers