Searched refs:setup_boot (Results 1 – 1 of 1) sorted by relevance
192 static void setup_boot(MachineState *machine, ARMCPU *cpu, in setup_boot() function300 setup_boot(machine, &soc->cpu[0].core, board_processor_id(board_rev), in raspi_base_machine_init()