198     s->binfo.ram_size = ram_size;  in setup_boot()
208         s->binfo.board_setup_addr = BOARDSETUP_ADDR;  in setup_boot()
209         s->binfo.write_board_setup = write_board_setup;  in setup_boot()
210         s->binfo.secure_board_setup = true;  in setup_boot()
211         s->binfo.secure_boot = true;  in setup_boot()
216         s->binfo.smp_loader_start = SMPBOOT_ADDR;  in setup_boot()
218             s->binfo.write_secondary_boot = write_smpboot;  in setup_boot()
220             s->binfo.write_secondary_boot = write_smpboot64;  in setup_boot()
222         s->binfo.secondary_cpu_reset_hook = reset_secondary;  in setup_boot()
239         s->binfo.entry = firmware_addr;  in setup_boot()
240         s->binfo.firmware_loaded = true;  in setup_boot()
243     arm_load_kernel(cpu, machine, &s->binfo);  in setup_boot()
311     s_base->binfo.board_id = MACH_TYPE_BCM2708;  in raspi_machine_init()