pub const SystemReg_REG_TPIDR_EL1: SystemReg = 50820;