258 xf86printDeviceSection(FILE * cf, XF86ConfDevicePtr ptr)  in xf86printDeviceSection()  argument
263         fprintf(cf, "Section \"Device\"\n");  in xf86printDeviceSection()
265             fprintf(cf, "%s", ptr->dev_comment);  in xf86printDeviceSection()
267             fprintf(cf, "\tIdentifier  \"%s\"\n", ptr->dev_identifier);  in xf86printDeviceSection()
269             fprintf(cf, "\tDriver      \"%s\"\n", ptr->dev_driver);  in xf86printDeviceSection()
271             fprintf(cf, "\tVendorName  \"%s\"\n", ptr->dev_vendor);  in xf86printDeviceSection()
273             fprintf(cf, "\tBoardName   \"%s\"\n", ptr->dev_board);  in xf86printDeviceSection()
275             fprintf(cf, "\tChipSet     \"%s\"\n", ptr->dev_chipset);  in xf86printDeviceSection()
277             fprintf(cf, "\tCard        \"%s\"\n", ptr->dev_card);  in xf86printDeviceSection()
279             fprintf(cf, "\tRamDac      \"%s\"\n", ptr->dev_ramdac);  in xf86printDeviceSection()
281             fprintf(cf, "\tDacSpeed    ");  in xf86printDeviceSection()
283                 fprintf(cf, "%g ", (double) (ptr->dev_dacSpeeds[i]) / 1000.0);  in xf86printDeviceSection()
284             fprintf(cf, "\n");  in xf86printDeviceSection()
287             fprintf(cf, "\tVideoRam    %d\n", ptr->dev_videoram);  in xf86printDeviceSection()
289             fprintf(cf, "\tMemBase     0x%lx\n", ptr->dev_mem_base);  in xf86printDeviceSection()
291             fprintf(cf, "\tIOBase      0x%lx\n", ptr->dev_io_base);  in xf86printDeviceSection()
293             fprintf(cf, "\tClockChip   \"%s\"\n", ptr->dev_clockchip);  in xf86printDeviceSection()
295             fprintf(cf, "\tChipId      0x%x\n", ptr->dev_chipid);  in xf86printDeviceSection()
297             fprintf(cf, "\tChipRev     0x%x\n", ptr->dev_chiprev);  in xf86printDeviceSection()
299         xf86printOptionList(cf, ptr->dev_option_lst, 1);  in xf86printDeviceSection()
301             fprintf(cf, "\tClocks      ");  in xf86printDeviceSection()
303                 fprintf(cf, "%.1f ", (double) ptr->dev_clock[i] / 1000.0);  in xf86printDeviceSection()
304             fprintf(cf, "\n");  in xf86printDeviceSection()
307             fprintf(cf, "\tBusID       \"%s\"\n", ptr->dev_busid);  in xf86printDeviceSection()
309             fprintf(cf, "\tScreen      %d\n", ptr->dev_screen);  in xf86printDeviceSection()
311             fprintf(cf, "\tIRQ         %d\n", ptr->dev_irq);  in xf86printDeviceSection()
312         fprintf(cf, "EndSection\n\n");  in xf86printDeviceSection()