219 static void boot_from_kernel(MachineState *machine, PowerPCCPU *cpu)  in boot_from_kernel()  argument
230     bdloc = ppc405_set_bootinfo(env, machine->ram_size);  in boot_from_kernel()
233     kernel_size = load_elf(machine->kernel_filename, NULL, NULL, NULL,  in boot_from_kernel()
238                      machine->kernel_filename, load_elf_strerror(kernel_size));  in boot_from_kernel()
244     if (machine->initrd_filename) {  in boot_from_kernel()
246         initrd_size = load_image_targphys(machine->initrd_filename, initrd_base,  in boot_from_kernel()
247                                           machine->ram_size - initrd_base);  in boot_from_kernel()
250                          machine->initrd_filename);  in boot_from_kernel()
258     if (machine->kernel_cmdline) {  in boot_from_kernel()
259         len = strlen(machine->kernel_cmdline);  in boot_from_kernel()
261         cpu_physical_memory_write(bdloc, machine->kernel_cmdline, len + 1);  in boot_from_kernel()
271 static void ppc405_init(MachineState *machine)  in ppc405_init()  argument
273     Ppc405MachineState *ppc405 = PPC405_MACHINE(machine);  in ppc405_init()
274     const char *kernel_filename = machine->kernel_filename;  in ppc405_init()
277     object_initialize_child(OBJECT(machine), "soc", &ppc405->soc,  in ppc405_init()
280                              OBJECT(machine->ram), &error_abort);  in ppc405_init()
286     if (machine->firmware) {  in ppc405_init()
289                                                    machine->firmware);  in ppc405_init()
296             error_report("Could not find firmware '%s'", machine->firmware);  in ppc405_init()
304             error_report("Could not load PowerPC BIOS '%s'", machine->firmware);  in ppc405_init()
313     if (kernel_filename && machine->firmware) {  in ppc405_init()
319                                           machine->ram_size - kernel_base);  in ppc405_init()
326         if (machine->initrd_filename) {  in ppc405_init()
328             initrd_size = load_image_targphys(machine->initrd_filename,  in ppc405_init()
330                                               machine->ram_size - initrd_base);  in ppc405_init()
333                              machine->initrd_filename);  in ppc405_init()
339     } else if (kernel_filename && !machine->firmware) {  in ppc405_init()
341         boot_from_kernel(machine, &ppc405->soc.cpu);  in ppc405_init()
472 static void ref405ep_init(MachineState *machine)  in ref405ep_init()  argument
478     ppc405_init(machine);  in ref405ep_init()
487     object_property_add_child(OBJECT(machine), "fpga", OBJECT(dev));  in ref405ep_init()