aarch64_sysreg
interface provides access to AArch64 system registers on an external device
using the encoding tuple (op0, op1, CRn, CRm, op2).
The read_register function reads a system register identified by its encoding. If inquiry is true, the read must not have side effects.
The write_register function writes value to the system register identified by its encoding.