Revision d33fd9d1 hw/axis_dev88.c

b/hw/axis_dev88.c
350 350
                fprintf(stderr, "Too long CRIS kernel cmdline (max 256)\n");
351 351
                exit(1);
352 352
            }
353
            pstrcpy_targphys(high, 256, kernel_cmdline);
354 353
            /* Let the kernel know we are modifying the cmdline.  */
355 354
            env->regs[10] = 0x87109563;
356
            env->regs[11] = high;
355
            env->regs[11] = 0x40000000;
356
            pstrcpy_targphys(env->regs[11], 256, kernel_cmdline);
357 357
        }
358 358
    }
359 359
    env->pc = bootstrap_pc;

Also available in: Unified diff