AARCH64REG_READ_INLINE2
AARCH64REG_READ_INLINE2(icc_iar1_el1, s3_0_c12_c12_0)
AARCH64REG_READ_INLINE2(cbar_el1, s3_1_c15_c3_0) // Cortex-A57
AARCH64REG_READ_INLINE2(a72_cpuactlr_el1, s3_1_c15_c2_0)
AARCH64REG_READ_INLINE2(regname, regname)
AARCH64REG_READ_INLINE2(l2ctlr_el1, s3_1_c11_c0_2) // Cortex-A53,57,72,73
AARCH64REG_READ_INLINE2(regname, regdesc) \