Symbol: SMCCC_SOC_ID_T241