|
@@ -27,13 +27,6 @@
|
|
static u32 psci_target_pc[CONFIG_ARMV7_PSCI_NR_CPUS] __secure_data = { 0 };
|
|
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 };
|
|
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)
|
|
void __secure psci_save(int cpu, u32 pc, u32 context_id)
|
|
{
|
|
{
|
|
psci_target_pc[cpu] = pc;
|
|
psci_target_pc[cpu] = pc;
|