tf_generic_smc     58 drivers/firmware/trusted_foundations.c 	tf_generic_smc(TF_SET_CPU_BOOT_ADDR_SMC, cpu_boot_addr, 0);
tf_generic_smc     67 drivers/firmware/trusted_foundations.c 		tf_generic_smc(TF_CPU_PM, TF_CPU_PM_S3, cpu_boot_addr);
tf_generic_smc     71 drivers/firmware/trusted_foundations.c 		tf_generic_smc(TF_CPU_PM, TF_CPU_PM_S2, cpu_boot_addr);
tf_generic_smc     75 drivers/firmware/trusted_foundations.c 		tf_generic_smc(TF_CPU_PM, TF_CPU_PM_S2_NO_MC_CLK,
tf_generic_smc     80 drivers/firmware/trusted_foundations.c 		tf_generic_smc(TF_CPU_PM, TF_CPU_PM_S1, cpu_boot_addr);
tf_generic_smc     84 drivers/firmware/trusted_foundations.c 		tf_generic_smc(TF_CPU_PM, TF_CPU_PM_S1_NOFLUSH_L2,
tf_generic_smc    106 drivers/firmware/trusted_foundations.c 			tf_generic_smc(TF_CACHE_MAINT, TF_CACHE_ENABLE,
tf_generic_smc    109 drivers/firmware/trusted_foundations.c 			tf_generic_smc(TF_CACHE_MAINT, TF_CACHE_DISABLE,