Symbol: HFGRTR_EL2_TTBR1_EL1_SHIFT