diff options
| -rw-r--r-- | src/arch/arm64/cpu_ramstage.c | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/arch/arm64/cpu_ramstage.c b/src/arch/arm64/cpu_ramstage.c index e6d0e8cee2..466ca0124f 100644 --- a/src/arch/arm64/cpu_ramstage.c +++ b/src/arch/arm64/cpu_ramstage.c @@ -151,13 +151,6 @@ static void init_cpu_info(struct bus *bus) } } -static void invalidate_cpu_stack_top(unsigned int id) -{ - const size_t size = 128; - char *stack = cpu_get_stack(id); - dcache_invalidate_by_mva(stack - size, size); -} - void arch_initialize_cpus(device_t cluster, struct cpu_control_ops *cntrl_ops) { size_t max_cpus; @@ -221,9 +214,6 @@ void arch_initialize_cpus(device_t cluster, struct cpu_control_ops *cntrl_ops) /* Start the CPU. */ printk(BIOS_DEBUG, "Starting CPU%x\n", ci->id); - /* Ensure CPU's top of stack is not in the cache. */ - invalidate_cpu_stack_top(ci->id); - if (cntrl_ops->start_cpu(ci->id, entry)) { printk(BIOS_ERR, "Failed to start CPU%x\n", ci->id); |