Symbol: SYS_TTBR1_EL1