Symbol: platform_smc_write