Symbol: ffa_to_smccc_res_prop