|
@@ -184,7 +184,7 @@ void machine_kexec(struct kimage *kimage)
|
|
|
|
|
|
/* Flush the reboot_code_buffer in preparation for its execution. */
|
|
/* Flush the reboot_code_buffer in preparation for its execution. */
|
|
__flush_dcache_area(reboot_code_buffer, arm64_relocate_new_kernel_size);
|
|
__flush_dcache_area(reboot_code_buffer, arm64_relocate_new_kernel_size);
|
|
- flush_icache_range((uintptr_t)reboot_code_buffer,
|
|
|
|
|
|
+ __flush_icache_range((uintptr_t)reboot_code_buffer,
|
|
arm64_relocate_new_kernel_size);
|
|
arm64_relocate_new_kernel_size);
|
|
|
|
|
|
/* Flush the kimage list and its buffers. */
|
|
/* Flush the kimage list and its buffers. */
|