Searched refs:devicename (Results 1 – 2 of 2) sorted by relevance
33 char *devicename; member120 fpga.name = zynq_fpga_descs[cpu_id].devicename; in arch_early_init_r()141 printf("CPU: Zynq %s\n", zynq_fpga_descs[cpu_id].devicename); in print_cpuinfo()
60 .devicename = XILINX_XC##name##_NAME \65 .devicename = XILINX_XC##name##_NAME \
Completed in 4 milliseconds