73       fprintf(stdout, "%s:\n", path);  in main()
75       fprintf(stdout, "   name: %s\n", gen_get_device_name(devinfo.chipset_id));  in main()
76       fprintf(stdout, "   gen: %u\n", devinfo.gen);  in main()
77       fprintf(stdout, "   PCI id: 0x%x\n", devinfo.chipset_id);  in main()
78       fprintf(stdout, "   revision: %u\n", devinfo.revision);  in main()
84             fprintf(stdout, "   slice%u.subslice%u: ", s, ss);  in main()
89 …              fprintf(stdout, "%s", gen_device_info_eu_available(&devinfo, s, ss, eu) ? "1" : "0");  in main()
94             fprintf(stdout, "\n");  in main()
97       fprintf(stdout, "   slices: %u\n", n_s);  in main()
98       fprintf(stdout, "   subslices: %u\n", n_ss);  in main()
99       fprintf(stdout, "   EUs: %u\n", n_eus);  in main()
100       fprintf(stdout, "   EU threads: %u\n", n_eus * devinfo.num_thread_per_eu);  in main()
102       fprintf(stdout, "   LLC: %u\n", devinfo.has_llc);  in main()
103       fprintf(stdout, "   threads per EU: %u\n", devinfo.num_thread_per_eu);  in main()
104       fprintf(stdout, "   L3 banks: %u\n", devinfo.l3_banks);  in main()
105       fprintf(stdout, "   max VS  threads: %u\n", devinfo.max_vs_threads);  in main()
106       fprintf(stdout, "   max TCS threads: %u\n", devinfo.max_tcs_threads);  in main()
107       fprintf(stdout, "   max TES threads: %u\n", devinfo.max_tes_threads);  in main()
108       fprintf(stdout, "   max GS  threads: %u\n", devinfo.max_gs_threads);  in main()
109       fprintf(stdout, "   max WM  threads: %u\n", devinfo.max_wm_threads);  in main()
110       fprintf(stdout, "   max CS  threads: %u\n", devinfo.max_cs_threads);  in main()
111       fprintf(stdout, "   timestamp frequency: %" PRIu64 "\n", devinfo.timestamp_frequency);  in main()