Symbol: SYS_VTCR_EL2