Searched refs:ppc440_init_xilinx (Results 1 – 1 of 1) sorted by relevance
93 static PowerPCCPU *ppc440_init_xilinx(const char *cpu_type, uint32_t sysclk) in ppc440_init_xilinx() function222 cpu = ppc440_init_xilinx(machine->cpu_type, 400000000); in virtex_init()