static u32 psci_target_pc[CONFIG_ARMV7_PSCI_NR_CPUS] __secure_data = { 0 };
static u32 psci_context_id[CONFIG_ARMV7_PSCI_NR_CPUS] __secure_data = { 0 };
-void __secure psci_save_target_pc(int cpu, u32 pc)
-{
- psci_target_pc[cpu] = pc;
- psci_context_id[cpu] = 0;
- dsb();
-}
-
void __secure psci_save(int cpu, u32 pc, u32 context_id)
{
psci_target_pc[cpu] = pc;