|
@@ -90,8 +90,7 @@ static int64_t load_kernel(void)
|
|
if (loaderparams.initrd_filename) {
|
|
if (loaderparams.initrd_filename) {
|
|
initrd_size = get_image_size(loaderparams.initrd_filename);
|
|
initrd_size = get_image_size(loaderparams.initrd_filename);
|
|
if (initrd_size > 0) {
|
|
if (initrd_size > 0) {
|
|
- initrd_offset = (kernel_high + ~INITRD_PAGE_MASK) &
|
|
|
|
- INITRD_PAGE_MASK;
|
|
|
|
|
|
+ initrd_offset = ROUND_UP(kernel_high, INITRD_PAGE_SIZE);
|
|
if (initrd_offset + initrd_size > loaderparams.ram_size) {
|
|
if (initrd_offset + initrd_size > loaderparams.ram_size) {
|
|
error_report("memory too small for initial ram disk '%s'",
|
|
error_report("memory too small for initial ram disk '%s'",
|
|
loaderparams.initrd_filename);
|
|
loaderparams.initrd_filename);
|