Symbol: HPFAR_EL2