common/edid.c - u-boot - Git at Google

 /*
  * Copyright (c) 2012 The Chromium OS Authors.
  *
  * (C) Copyright 2010
  * Petr Stetiar <ynezz@true.cz>
  *
  * SPDX-License-Identifier:	GPL-2.0+
  *
  * Contains stolen code from ddcprobe project which is:
  * Copyright (C) Nalin Dahyabhai <bigfun@pobox.com>
  */

 #include <common.h>
 #include <edid.h>
 #include <linux/ctype.h>
 #include <linux/string.h>

 int edid_check_info(struct edid1_info *edid_info)
 {
 	if ((edid_info == NULL) || (edid_info->version == 0))
 		return -1;

 	if (memcmp(edid_info->header, "\x0\xff\xff\xff\xff\xff\xff\x0", 8))
 		return -1;

 	if (edid_info->version == 0xff && edid_info->revision == 0xff)
 		return -1;

 	return 0;
 }

 int edid_get_ranges(struct edid1_info *edid, unsigned int *hmin,
 		    unsigned int *hmax, unsigned int *vmin,
 		    unsigned int *vmax)
 {
 	int i;
 	struct edid_monitor_descriptor *monitor;

 	*hmin = *hmax = *vmin = *vmax = 0;
 	if (edid_check_info(edid))
 		return -1;

 	for (i = 0; i < ARRAY_SIZE(edid->monitor_details.descriptor); i++) {
 		monitor = &edid->monitor_details.descriptor[i];
 		if (monitor->type == EDID_MONITOR_DESCRIPTOR_RANGE) {
 			*hmin = monitor->data.range_data.horizontal_min;
 			*hmax = monitor->data.range_data.horizontal_max;
 			*vmin = monitor->data.range_data.vertical_min;
 			*vmax = monitor->data.range_data.vertical_max;
 			return 0;
 		}
 	}
 	return -1;
 }

 /**
  * Snip the tailing whitespace/return of a string.
  *
  * @param string	The string to be snipped
  * @return the snipped string
  */
 static char *snip(char *string)
 {
 	char *s;

 	/*
 	 * This is always a 13 character buffer
 	 * and it's not always terminated.
 	 */
 	string[12] = '\0';
 	s = &string[strlen(string) - 1];

 	while (s >= string && (isspace(*s) || *s == '\n' || *s == '\r' ||
 			*s == '\0'))
 		*(s--) = '\0';

 	return string;
 }

 /**
  * Print an EDID monitor descriptor block
  *
  * @param monitor	The EDID monitor descriptor block
  * @have_timing		Modifies to 1 if the desciptor contains timing info
  */
 static void edid_print_dtd(struct edid_monitor_descriptor *monitor,
 			   unsigned int *have_timing)
 {
 	unsigned char *bytes = (unsigned char *)monitor;
 	struct edid_detailed_timing *timing =
 			(struct edid_detailed_timing *)monitor;

 	if (bytes[0] == 0 && bytes[1] == 0) {
 		if (monitor->type == EDID_MONITOR_DESCRIPTOR_SERIAL)
 			printf("Monitor serial number: %s\n",
 			       snip(monitor->data.string));
 		else if (monitor->type == EDID_MONITOR_DESCRIPTOR_ASCII)
 			printf("Monitor ID: %s\n",
 			       snip(monitor->data.string));
 		else if (monitor->type == EDID_MONITOR_DESCRIPTOR_NAME)
 			printf("Monitor name: %s\n",
 			       snip(monitor->data.string));
 		else if (monitor->type == EDID_MONITOR_DESCRIPTOR_RANGE)
 			printf("Monitor range limits, horizontal sync: "
 			       "%d-%d kHz, vertical refresh: "
 			       "%d-%d Hz, max pixel clock: "
 			       "%d MHz\n",
 			       monitor->data.range_data.horizontal_min,
 			       monitor->data.range_data.horizontal_max,
 			       monitor->data.range_data.vertical_min,
 			       monitor->data.range_data.vertical_max,
 			       monitor->data.range_data.pixel_clock_max * 10);
 	} else {
 		uint32_t pixclock, h_active, h_blanking, v_active, v_blanking;
 		uint32_t h_total, v_total, vfreq;

 		pixclock = EDID_DETAILED_TIMING_PIXEL_CLOCK(*timing);
 		h_active = EDID_DETAILED_TIMING_HORIZONTAL_ACTIVE(*timing);
 		h_blanking = EDID_DETAILED_TIMING_HORIZONTAL_BLANKING(*timing);
 		v_active = EDID_DETAILED_TIMING_VERTICAL_ACTIVE(*timing);
 		v_blanking = EDID_DETAILED_TIMING_VERTICAL_BLANKING(*timing);

 		h_total = h_active + h_blanking;
 		v_total = v_active + v_blanking;
 		if (v_total * h_total)
 			vfreq = pixclock / (v_total * h_total);
 		else
 			vfreq = 1; /* Error case */
 		printf("\t%dx%d\%c\t%d Hz (detailed)\n", h_active,
 		       v_active, h_active > 1000 ? ' ' : '\t', vfreq);
 		*have_timing = 1;
 	}
 }

 /**
  * Get the manufacturer name from an EDID info.
  *
  * @param edid_info     The EDID info to be printed
  * @param name		Returns the string of the manufacturer name
  */
 static void edid_get_manufacturer_name(struct edid1_info *edid, char *name)
 {
 	name[0] = EDID1_INFO_MANUFACTURER_NAME_CHAR1(*edid) + 'A' - 1;
 	name[1] = EDID1_INFO_MANUFACTURER_NAME_CHAR2(*edid) + 'A' - 1;
 	name[2] = EDID1_INFO_MANUFACTURER_NAME_CHAR3(*edid) + 'A' - 1;
 	name[3] = '\0';
 }

 void edid_print_info(struct edid1_info *edid_info)
 {
 	int i;
 	char manufacturer[4];
 	unsigned int have_timing = 0;
 	uint32_t serial_number;

 	if (edid_check_info(edid_info)) {
 		printf("Not a valid EDID\n");
 		return;
 	}

 	printf("EDID version: %d.%d\n",
 	       edid_info->version, edid_info->revision);

 	printf("Product ID code: %04x\n", EDID1_INFO_PRODUCT_CODE(*edid_info));

 	edid_get_manufacturer_name(edid_info, manufacturer);
 	printf("Manufacturer: %s\n", manufacturer);

 	serial_number = EDID1_INFO_SERIAL_NUMBER(*edid_info);
 	if (serial_number != 0xffffffff) {
 		if (strcmp(manufacturer, "MAG") == 0)
 			serial_number -= 0x7000000;
 		if (strcmp(manufacturer, "OQI") == 0)
 			serial_number -= 456150000;
 		if (strcmp(manufacturer, "VSC") == 0)
 			serial_number -= 640000000;
 	}
 	printf("Serial number: %08x\n", serial_number);
 	printf("Manufactured in week: %d year: %d\n",
 	       edid_info->week, edid_info->year + 1990);

 	printf("Video input definition: %svoltage level %d%s%s%s%s%s\n",
 	       EDID1_INFO_VIDEO_INPUT_DIGITAL(*edid_info) ?
 	       "digital signal, " : "analog signal, ",
 	       EDID1_INFO_VIDEO_INPUT_VOLTAGE_LEVEL(*edid_info),
 	       EDID1_INFO_VIDEO_INPUT_BLANK_TO_BLACK(*edid_info) ?
 	       ", blank to black" : "",
 	       EDID1_INFO_VIDEO_INPUT_SEPARATE_SYNC(*edid_info) ?
 	       ", separate sync" : "",
 	       EDID1_INFO_VIDEO_INPUT_COMPOSITE_SYNC(*edid_info) ?
 	       ", composite sync" : "",
 	       EDID1_INFO_VIDEO_INPUT_SYNC_ON_GREEN(*edid_info) ?
 	       ", sync on green" : "",
 	       EDID1_INFO_VIDEO_INPUT_SERRATION_V(*edid_info) ?
 	       ", serration v" : "");

 	printf("Monitor is %s\n",
 	       EDID1_INFO_FEATURE_RGB(*edid_info) ? "RGB" : "non-RGB");

 	printf("Maximum visible display size: %d cm x %d cm\n",
 	       edid_info->max_size_horizontal,
 	       edid_info->max_size_vertical);

 	printf("Power management features: %s%s, %s%s, %s%s\n",
 	       EDID1_INFO_FEATURE_ACTIVE_OFF(*edid_info) ?
 	       "" : "no ", "active off",
 	       EDID1_INFO_FEATURE_SUSPEND(*edid_info) ? "" : "no ", "suspend",
 	       EDID1_INFO_FEATURE_STANDBY(*edid_info) ? "" : "no ", "standby");

 	printf("Estabilished timings:\n");
 	if (EDID1_INFO_ESTABLISHED_TIMING_720X400_70(*edid_info))
 		printf("\t720x400\t\t70 Hz (VGA 640x400, IBM)\n");
 	if (EDID1_INFO_ESTABLISHED_TIMING_720X400_88(*edid_info))
 		printf("\t720x400\t\t88 Hz (XGA2)\n");
 	if (EDID1_INFO_ESTABLISHED_TIMING_640X480_60(*edid_info))
 		printf("\t640x480\t\t60 Hz (VGA)\n");
 	if (EDID1_INFO_ESTABLISHED_TIMING_640X480_67(*edid_info))
 		printf("\t640x480\t\t67 Hz (Mac II, Apple)\n");
 	if (EDID1_INFO_ESTABLISHED_TIMING_640X480_72(*edid_info))
 		printf("\t640x480\t\t72 Hz (VESA)\n");
 	if (EDID1_INFO_ESTABLISHED_TIMING_640X480_75(*edid_info))
 		printf("\t640x480\t\t75 Hz (VESA)\n");
 	if (EDID1_INFO_ESTABLISHED_TIMING_800X600_56(*edid_info))
 		printf("\t800x600\t\t56 Hz (VESA)\n");
 	if (EDID1_INFO_ESTABLISHED_TIMING_800X600_60(*edid_info))
 		printf("\t800x600\t\t60 Hz (VESA)\n");
 	if (EDID1_INFO_ESTABLISHED_TIMING_800X600_72(*edid_info))
 		printf("\t800x600\t\t72 Hz (VESA)\n");
 	if (EDID1_INFO_ESTABLISHED_TIMING_800X600_75(*edid_info))
 		printf("\t800x600\t\t75 Hz (VESA)\n");
 	if (EDID1_INFO_ESTABLISHED_TIMING_832X624_75(*edid_info))
 		printf("\t832x624\t\t75 Hz (Mac II)\n");
 	if (EDID1_INFO_ESTABLISHED_TIMING_1024X768_87I(*edid_info))
 		printf("\t1024x768\t87 Hz Interlaced (8514A)\n");
 	if (EDID1_INFO_ESTABLISHED_TIMING_1024X768_60(*edid_info))
 		printf("\t1024x768\t60 Hz (VESA)\n");
 	if (EDID1_INFO_ESTABLISHED_TIMING_1024X768_70(*edid_info))
 		printf("\t1024x768\t70 Hz (VESA)\n");
 	if (EDID1_INFO_ESTABLISHED_TIMING_1024X768_75(*edid_info))
 		printf("\t1024x768\t75 Hz (VESA)\n");
 	if (EDID1_INFO_ESTABLISHED_TIMING_1280X1024_75(*edid_info))
 		printf("\t1280x1024\t75 (VESA)\n");
 	if (EDID1_INFO_ESTABLISHED_TIMING_1152X870_75(*edid_info))
 		printf("\t1152x870\t75 (Mac II)\n");

 	/* Standard timings. */
 	printf("Standard timings:\n");
 	for (i = 0; i < ARRAY_SIZE(edid_info->standard_timings); i++) {
 		unsigned int aspect = 10000;
 		unsigned int x, y;
 		unsigned char xres, vfreq;

 		xres = EDID1_INFO_STANDARD_TIMING_XRESOLUTION(*edid_info, i);
 		vfreq = EDID1_INFO_STANDARD_TIMING_VFREQ(*edid_info, i);
 		if ((xres != vfreq) ||
 		    ((xres != 0) && (xres != 1)) ||
 		    ((vfreq != 0) && (vfreq != 1))) {
 			switch (EDID1_INFO_STANDARD_TIMING_ASPECT(*edid_info,
 					i)) {
 			case ASPECT_625:
 				aspect = 6250;
 				break;
 			case ASPECT_75:
 				aspect = 7500;
 				break;
 			case ASPECT_8:
 				aspect = 8000;
 				break;
 			case ASPECT_5625:
 				aspect = 5625;
 				break;
 			}
 			x = (xres + 31) * 8;
 			y = x * aspect / 10000;
 			printf("\t%dx%d%c\t%d Hz\n", x, y,
 			       x > 1000 ? ' ' : '\t', (vfreq & 0x3f) + 60);
 			have_timing = 1;
 		}
 	}

 	/* Detailed timing information. */
 	for (i = 0; i < ARRAY_SIZE(edid_info->monitor_details.descriptor);
 			i++) {
 		edid_print_dtd(&edid_info->monitor_details.descriptor[i],
 			       &have_timing);
 	}

 	if (!have_timing)
 		printf("\tNone\n");
 }
	/*
	* Copyright (c) 2012 The Chromium OS Authors.
	*
	* (C) Copyright 2010
	* Petr Stetiar <ynezz@true.cz>
	*
	* SPDX-License-Identifier: GPL-2.0+
	*
	* Contains stolen code from ddcprobe project which is:
	* Copyright (C) Nalin Dahyabhai <bigfun@pobox.com>
	*/

	#include <common.h>
	#include <edid.h>
	#include <linux/ctype.h>
	#include <linux/string.h>

	int edid_check_info(struct edid1_info *edid_info)
	{
	if ((edid_info == NULL) \|\| (edid_info->version == 0))
	return -1;

	if (memcmp(edid_info->header, "\x0\xff\xff\xff\xff\xff\xff\x0", 8))
	return -1;

	if (edid_info->version == 0xff && edid_info->revision == 0xff)
	return -1;

	return 0;
	}

	int edid_get_ranges(struct edid1_info edid, unsigned int hmin,
	unsigned int hmax, unsigned int vmin,
	unsigned int *vmax)
	{
	int i;
	struct edid_monitor_descriptor *monitor;

	hmin = hmax = vmin = vmax = 0;
	if (edid_check_info(edid))
	return -1;

	for (i = 0; i < ARRAY_SIZE(edid->monitor_details.descriptor); i++) {
	monitor = &edid->monitor_details.descriptor[i];
	if (monitor->type == EDID_MONITOR_DESCRIPTOR_RANGE) {
	*hmin = monitor->data.range_data.horizontal_min;
	*hmax = monitor->data.range_data.horizontal_max;
	*vmin = monitor->data.range_data.vertical_min;
	*vmax = monitor->data.range_data.vertical_max;
	return 0;
	}
	}
	return -1;
	}

	/**
	* Snip the tailing whitespace/return of a string.
	*
	* @param string The string to be snipped
	* @return the snipped string
	*/
	static char snip(char string)
	{
	char *s;

	/*
	* This is always a 13 character buffer
	* and it's not always terminated.
	*/
	string[12] = '\0';
	s = &string[strlen(string) - 1];

	while (s >= string && (isspace(s) \|\| s == '\n' \|\| *s == '\r' \|\|
	*s == '\0'))
	*(s--) = '\0';

	return string;
	}

	/**
	* Print an EDID monitor descriptor block
	*
	* @param monitor The EDID monitor descriptor block
	* @have_timing Modifies to 1 if the desciptor contains timing info
	*/
	static void edid_print_dtd(struct edid_monitor_descriptor *monitor,
	unsigned int *have_timing)
	{
	unsigned char bytes = (unsigned char )monitor;
	struct edid_detailed_timing *timing =
	(struct edid_detailed_timing *)monitor;

	if (bytes[0] == 0 && bytes[1] == 0) {
	if (monitor->type == EDID_MONITOR_DESCRIPTOR_SERIAL)
	printf("Monitor serial number: %s\n",
	snip(monitor->data.string));
	else if (monitor->type == EDID_MONITOR_DESCRIPTOR_ASCII)
	printf("Monitor ID: %s\n",
	snip(monitor->data.string));
	else if (monitor->type == EDID_MONITOR_DESCRIPTOR_NAME)
	printf("Monitor name: %s\n",
	snip(monitor->data.string));
	else if (monitor->type == EDID_MONITOR_DESCRIPTOR_RANGE)
	printf("Monitor range limits, horizontal sync: "
	"%d-%d kHz, vertical refresh: "
	"%d-%d Hz, max pixel clock: "
	"%d MHz\n",
	monitor->data.range_data.horizontal_min,
	monitor->data.range_data.horizontal_max,
	monitor->data.range_data.vertical_min,
	monitor->data.range_data.vertical_max,
	monitor->data.range_data.pixel_clock_max * 10);
	} else {
	uint32_t pixclock, h_active, h_blanking, v_active, v_blanking;
	uint32_t h_total, v_total, vfreq;

	pixclock = EDID_DETAILED_TIMING_PIXEL_CLOCK(*timing);
	h_active = EDID_DETAILED_TIMING_HORIZONTAL_ACTIVE(*timing);
	h_blanking = EDID_DETAILED_TIMING_HORIZONTAL_BLANKING(*timing);
	v_active = EDID_DETAILED_TIMING_VERTICAL_ACTIVE(*timing);
	v_blanking = EDID_DETAILED_TIMING_VERTICAL_BLANKING(*timing);

	h_total = h_active + h_blanking;
	v_total = v_active + v_blanking;
	if (v_total * h_total)
	vfreq = pixclock / (v_total * h_total);
	else
	vfreq = 1; /* Error case */
	printf("\t%dx%d\%c\t%d Hz (detailed)\n", h_active,
	v_active, h_active > 1000 ? ' ' : '\t', vfreq);
	*have_timing = 1;
	}
	}

	/**
	* Get the manufacturer name from an EDID info.
	*
	* @param edid_info The EDID info to be printed
	* @param name Returns the string of the manufacturer name
	*/
	static void edid_get_manufacturer_name(struct edid1_info edid, char name)
	{
	name[0] = EDID1_INFO_MANUFACTURER_NAME_CHAR1(*edid) + 'A' - 1;
	name[1] = EDID1_INFO_MANUFACTURER_NAME_CHAR2(*edid) + 'A' - 1;
	name[2] = EDID1_INFO_MANUFACTURER_NAME_CHAR3(*edid) + 'A' - 1;
	name[3] = '\0';
	}

	void edid_print_info(struct edid1_info *edid_info)
	{
	int i;
	char manufacturer[4];
	unsigned int have_timing = 0;
	uint32_t serial_number;

	if (edid_check_info(edid_info)) {
	printf("Not a valid EDID\n");
	return;
	}

	printf("EDID version: %d.%d\n",
	edid_info->version, edid_info->revision);

	printf("Product ID code: %04x\n", EDID1_INFO_PRODUCT_CODE(*edid_info));

	edid_get_manufacturer_name(edid_info, manufacturer);
	printf("Manufacturer: %s\n", manufacturer);

	serial_number = EDID1_INFO_SERIAL_NUMBER(*edid_info);
	if (serial_number != 0xffffffff) {
	if (strcmp(manufacturer, "MAG") == 0)
	serial_number -= 0x7000000;
	if (strcmp(manufacturer, "OQI") == 0)
	serial_number -= 456150000;
	if (strcmp(manufacturer, "VSC") == 0)
	serial_number -= 640000000;
	}
	printf("Serial number: %08x\n", serial_number);
	printf("Manufactured in week: %d year: %d\n",
	edid_info->week, edid_info->year + 1990);

	printf("Video input definition: %svoltage level %d%s%s%s%s%s\n",
	EDID1_INFO_VIDEO_INPUT_DIGITAL(*edid_info) ?
	"digital signal, " : "analog signal, ",
	EDID1_INFO_VIDEO_INPUT_VOLTAGE_LEVEL(*edid_info),
	EDID1_INFO_VIDEO_INPUT_BLANK_TO_BLACK(*edid_info) ?
	", blank to black" : "",
	EDID1_INFO_VIDEO_INPUT_SEPARATE_SYNC(*edid_info) ?
	", separate sync" : "",
	EDID1_INFO_VIDEO_INPUT_COMPOSITE_SYNC(*edid_info) ?
	", composite sync" : "",
	EDID1_INFO_VIDEO_INPUT_SYNC_ON_GREEN(*edid_info) ?
	", sync on green" : "",
	EDID1_INFO_VIDEO_INPUT_SERRATION_V(*edid_info) ?
	", serration v" : "");

	printf("Monitor is %s\n",
	EDID1_INFO_FEATURE_RGB(*edid_info) ? "RGB" : "non-RGB");

	printf("Maximum visible display size: %d cm x %d cm\n",
	edid_info->max_size_horizontal,
	edid_info->max_size_vertical);

	printf("Power management features: %s%s, %s%s, %s%s\n",
	EDID1_INFO_FEATURE_ACTIVE_OFF(*edid_info) ?
	"" : "no ", "active off",
	EDID1_INFO_FEATURE_SUSPEND(*edid_info) ? "" : "no ", "suspend",
	EDID1_INFO_FEATURE_STANDBY(*edid_info) ? "" : "no ", "standby");

	printf("Estabilished timings:\n");
	if (EDID1_INFO_ESTABLISHED_TIMING_720X400_70(*edid_info))
	printf("\t720x400\t\t70 Hz (VGA 640x400, IBM)\n");
	if (EDID1_INFO_ESTABLISHED_TIMING_720X400_88(*edid_info))
	printf("\t720x400\t\t88 Hz (XGA2)\n");
	if (EDID1_INFO_ESTABLISHED_TIMING_640X480_60(*edid_info))
	printf("\t640x480\t\t60 Hz (VGA)\n");
	if (EDID1_INFO_ESTABLISHED_TIMING_640X480_67(*edid_info))
	printf("\t640x480\t\t67 Hz (Mac II, Apple)\n");
	if (EDID1_INFO_ESTABLISHED_TIMING_640X480_72(*edid_info))
	printf("\t640x480\t\t72 Hz (VESA)\n");
	if (EDID1_INFO_ESTABLISHED_TIMING_640X480_75(*edid_info))
	printf("\t640x480\t\t75 Hz (VESA)\n");
	if (EDID1_INFO_ESTABLISHED_TIMING_800X600_56(*edid_info))
	printf("\t800x600\t\t56 Hz (VESA)\n");
	if (EDID1_INFO_ESTABLISHED_TIMING_800X600_60(*edid_info))
	printf("\t800x600\t\t60 Hz (VESA)\n");
	if (EDID1_INFO_ESTABLISHED_TIMING_800X600_72(*edid_info))
	printf("\t800x600\t\t72 Hz (VESA)\n");
	if (EDID1_INFO_ESTABLISHED_TIMING_800X600_75(*edid_info))
	printf("\t800x600\t\t75 Hz (VESA)\n");
	if (EDID1_INFO_ESTABLISHED_TIMING_832X624_75(*edid_info))
	printf("\t832x624\t\t75 Hz (Mac II)\n");
	if (EDID1_INFO_ESTABLISHED_TIMING_1024X768_87I(*edid_info))
	printf("\t1024x768\t87 Hz Interlaced (8514A)\n");
	if (EDID1_INFO_ESTABLISHED_TIMING_1024X768_60(*edid_info))
	printf("\t1024x768\t60 Hz (VESA)\n");
	if (EDID1_INFO_ESTABLISHED_TIMING_1024X768_70(*edid_info))
	printf("\t1024x768\t70 Hz (VESA)\n");
	if (EDID1_INFO_ESTABLISHED_TIMING_1024X768_75(*edid_info))
	printf("\t1024x768\t75 Hz (VESA)\n");
	if (EDID1_INFO_ESTABLISHED_TIMING_1280X1024_75(*edid_info))
	printf("\t1280x1024\t75 (VESA)\n");
	if (EDID1_INFO_ESTABLISHED_TIMING_1152X870_75(*edid_info))
	printf("\t1152x870\t75 (Mac II)\n");

	/* Standard timings. */
	printf("Standard timings:\n");
	for (i = 0; i < ARRAY_SIZE(edid_info->standard_timings); i++) {
	unsigned int aspect = 10000;
	unsigned int x, y;
	unsigned char xres, vfreq;

	xres = EDID1_INFO_STANDARD_TIMING_XRESOLUTION(*edid_info, i);
	vfreq = EDID1_INFO_STANDARD_TIMING_VFREQ(*edid_info, i);
	if ((xres != vfreq) \|\|
	((xres != 0) && (xres != 1)) \|\|
	((vfreq != 0) && (vfreq != 1))) {
	switch (EDID1_INFO_STANDARD_TIMING_ASPECT(*edid_info,
	i)) {
	case ASPECT_625:
	aspect = 6250;
	break;
	case ASPECT_75:
	aspect = 7500;
	break;
	case ASPECT_8:
	aspect = 8000;
	break;
	case ASPECT_5625:
	aspect = 5625;
	break;
	}
	x = (xres + 31) * 8;
	y = x * aspect / 10000;
	printf("\t%dx%d%c\t%d Hz\n", x, y,
	x > 1000 ? ' ' : '\t', (vfreq & 0x3f) + 60);
	have_timing = 1;
	}
	}

	/* Detailed timing information. */
	for (i = 0; i < ARRAY_SIZE(edid_info->monitor_details.descriptor);
	i++) {
	edid_print_dtd(&edid_info->monitor_details.descriptor[i],
	&have_timing);
	}

	if (!have_timing)
	printf("\tNone\n");
	}