735 	struct arm_smccc_res res;  in rk3328_devfreq_init()  local
738 	res = sip_smc_dram(0, 0,  in rk3328_devfreq_init()
740 	printf("current ATF version 0x%lx!\n", res.a1);  in rk3328_devfreq_init()
741 	if (res.a0 || res.a1 < 0x101) {  in rk3328_devfreq_init()
746 	printf("read tf version 0x%lx!\n", res.a1);  in rk3328_devfreq_init()
753 	res = sip_smc_request_share_mem(DIV_ROUND_UP(size, 4096) + 1,  in rk3328_devfreq_init()
755 	if (res.a0 != 0) {  in rk3328_devfreq_init()
759 	ddr_psci_param = (struct share_params *)res.a1;  in rk3328_devfreq_init()
765 	res = sip_smc_dram(SHARE_PAGE_TYPE_DDR, 0,  in rk3328_devfreq_init()
767 	if (res.a0) {  in rk3328_devfreq_init()
769 		       res.a0);  in rk3328_devfreq_init()
778 	struct arm_smccc_res res;  in px30_devfreq_init()  local
781 	res = sip_smc_dram(0, 0,  in px30_devfreq_init()
783 	printf("current ATF version 0x%lx!\n", res.a1);  in px30_devfreq_init()
784 	if (res.a0 || res.a1 < 0x103) {  in px30_devfreq_init()
789 	printf("read tf version 0x%lx!\n", res.a1);  in px30_devfreq_init()
796 	res = sip_smc_request_share_mem(DIV_ROUND_UP(size, 4096) + 1,  in px30_devfreq_init()
798 	if (res.a0 != 0) {  in px30_devfreq_init()
803 	ddr_psci_param = (struct share_params *)res.a1;  in px30_devfreq_init()
808 	res = sip_smc_dram(SHARE_PAGE_TYPE_DDR, 0,  in px30_devfreq_init()
810 	if (res.a0) {  in px30_devfreq_init()
812 		       res.a0);  in px30_devfreq_init()
822 	struct arm_smccc_res res;  in rockchip_ddrclk_sip_set_rate_v2()  local
833 	res = sip_smc_dram(SHARE_PAGE_TYPE_DDR, 0,  in rockchip_ddrclk_sip_set_rate_v2()
836 	return res.a0;  in rockchip_ddrclk_sip_set_rate_v2()
841 	struct arm_smccc_res res;  in rockchip_ddrclk_sip_recalc_rate_v2()  local
843 	res = sip_smc_dram(SHARE_PAGE_TYPE_DDR, 0,  in rockchip_ddrclk_sip_recalc_rate_v2()
845 	if (!res.a0)  in rockchip_ddrclk_sip_recalc_rate_v2()
846 		return res.a1;  in rockchip_ddrclk_sip_recalc_rate_v2()
854 	struct arm_smccc_res res;  in rockchip_ddrclk_sip_round_rate_v2()  local
862 	res = sip_smc_dram(SHARE_PAGE_TYPE_DDR, 0,  in rockchip_ddrclk_sip_round_rate_v2()
864 	if (!res.a0)  in rockchip_ddrclk_sip_round_rate_v2()
865 		return res.a1;  in rockchip_ddrclk_sip_round_rate_v2()