drivers/firmware/trusted_foundations.c

123

tf_generic_smc(TF_CACHE_MAINT, enable_op,

drivers/firmware/trusted_foundations.c

126

tf_generic_smc(TF_CACHE_MAINT, TF_CACHE_DISABLE,

drivers/firmware/trusted_foundations.c

60

tf_generic_smc(TF_SET_CPU_BOOT_ADDR_SMC, cpu_boot_addr, 0);

drivers/firmware/trusted_foundations.c

69

tf_generic_smc(TF_CPU_PM, TF_CPU_PM_S3, cpu_boot_addr);

drivers/firmware/trusted_foundations.c

73

tf_generic_smc(TF_CPU_PM, TF_CPU_PM_S2, cpu_boot_addr);

drivers/firmware/trusted_foundations.c

77

tf_generic_smc(TF_CPU_PM, TF_CPU_PM_S2_NO_MC_CLK,

drivers/firmware/trusted_foundations.c

82

tf_generic_smc(TF_CPU_PM, TF_CPU_PM_S1, cpu_boot_addr);

drivers/firmware/trusted_foundations.c

86

tf_generic_smc(TF_CPU_PM, TF_CPU_PM_S1_NOFLUSH_L2,