https://bugs.freedesktop.org/show_bug.cgi?id=40252
--- Comment #4 from Fabian Deutsch fabian.deutsch@gmx.de 2011-09-22 13:22:42 PDT --- Mh okay, I my observations were related to HDMI (not VGA). Is there a way to find out if a "HPD pin [is] assigned to the digital display connector"?