pub const SystemReg_REG_OSDTRRX_EL1: SystemReg = 32770;