Revision 182735ef hw/arm/vexpress.c

b/hw/arm/vexpress.c
519 519
    vexpress_binfo.smp_loader_start = map[VE_SRAM];
520 520
    vexpress_binfo.smp_bootreg_addr = map[VE_SYSREGS] + 0x30;
521 521
    vexpress_binfo.gic_cpu_if_addr = daughterboard->gic_cpu_if_addr;
522
    arm_load_kernel(arm_env_get_cpu(first_cpu), &vexpress_binfo);
522
    arm_load_kernel(ARM_CPU(first_cpu), &vexpress_binfo);
523 523
}
524 524

  
525 525
static void vexpress_a9_init(QEMUMachineInitArgs *args)

Also available in: Unified diff