Searched refs:zynq_fpga_descs (Results 1 – 1 of 1) sorted by relevance
32 } zynq_fpga_descs[] = { variable100 for (i = 0; zynq_fpga_descs[i].idcode; i++) { in cpu_desc_id()101 if (zynq_fpga_descs[i].idcode == idcode) in cpu_desc_id()118 fpga.size = zynq_fpga_descs[cpu_id].fpga_size; in arch_early_init_r()119 fpga.name = zynq_fpga_descs[cpu_id].devicename; in arch_early_init_r()140 printf("CPU: Zynq %s\n", zynq_fpga_descs[cpu_id].devicename); in print_cpuinfo()