|
@@ -435,7 +435,7 @@ static int bootm_load_os(bootm_headers_t *images, unsigned long *load_end,
|
|
|
bootstage_error(BOOTSTAGE_ID_DECOMP_IMAGE);
|
|
|
return err;
|
|
|
}
|
|
|
- flush_cache(load, (*load_end - load) * sizeof(ulong));
|
|
|
+ flush_cache(load, *load_end - load);
|
|
|
|
|
|
debug(" kernel loaded at 0x%08lx, end = 0x%08lx\n", load, *load_end);
|
|
|
bootstage_mark(BOOTSTAGE_ID_KERNEL_LOADED);
|