Revision 49a2942d hw/ppc405_boards.c

b/hw/ppc405_boards.c
501 501
                             const char *cpu_model)
502 502
{
503 503
    char *filename;
504
    CPUPPCState *env;
505 504
    qemu_irq *pic;
506 505
    ram_addr_t bios_offset;
507 506
    target_phys_addr_t ram_bases[2], ram_sizes[2];
......
521 520
#ifdef DEBUG_BOARD_INIT
522 521
    printf("%s: register cpu\n", __func__);
523 522
#endif
524
    env = ppc405ep_init(ram_bases, ram_sizes, 33333333, &pic,
525
                        kernel_filename == NULL ? 0 : 1);
523
    ppc405ep_init(ram_bases, ram_sizes, 33333333, &pic,
524
                  kernel_filename == NULL ? 0 : 1);
526 525
    /* allocate and load BIOS */
527 526
#ifdef DEBUG_BOARD_INIT
528 527
    printf("%s: register BIOS\n", __func__);

Also available in: Unified diff