cpu_boot_addr      32 drivers/firmware/trusted_foundations.c static unsigned long cpu_boot_addr;
cpu_boot_addr      57 drivers/firmware/trusted_foundations.c 	cpu_boot_addr = boot_addr;
cpu_boot_addr      58 drivers/firmware/trusted_foundations.c 	tf_generic_smc(TF_SET_CPU_BOOT_ADDR_SMC, cpu_boot_addr, 0);
cpu_boot_addr      67 drivers/firmware/trusted_foundations.c 		tf_generic_smc(TF_CPU_PM, TF_CPU_PM_S3, cpu_boot_addr);
cpu_boot_addr      71 drivers/firmware/trusted_foundations.c 		tf_generic_smc(TF_CPU_PM, TF_CPU_PM_S2, cpu_boot_addr);
cpu_boot_addr      76 drivers/firmware/trusted_foundations.c 			       cpu_boot_addr);
cpu_boot_addr      80 drivers/firmware/trusted_foundations.c 		tf_generic_smc(TF_CPU_PM, TF_CPU_PM_S1, cpu_boot_addr);
cpu_boot_addr      85 drivers/firmware/trusted_foundations.c 			       cpu_boot_addr);