|
@@ -50,7 +50,7 @@ static void __soft_restart(void *addr)
|
|
flush_cache_all();
|
|
flush_cache_all();
|
|
|
|
|
|
/* Switch to the identity mapping. */
|
|
/* Switch to the identity mapping. */
|
|
- phys_reset = (phys_reset_t)(unsigned long)virt_to_phys(cpu_reset);
|
|
|
|
|
|
+ phys_reset = (phys_reset_t)(unsigned long)virt_to_idmap(cpu_reset);
|
|
phys_reset((unsigned long)addr);
|
|
phys_reset((unsigned long)addr);
|
|
|
|
|
|
/* Should never get here. */
|
|
/* Should never get here. */
|