Searched refs:boot_from_kernel (Results 1 – 1 of 1) sorted by relevance
219 static void boot_from_kernel(MachineState *machine, PowerPCCPU *cpu) in boot_from_kernel() function341 boot_from_kernel(machine, &ppc405->soc.cpu); in ppc405_init()