commit 393aa8a8b62455d69651122d1aa3dacc21dd750c
author Nico Huber <nico.huber@secunet.com> Fri Oct 21 14:18:53 2016 +0200
committer Nico Huber <nico.h@gmx.de> Sat Oct 29 01:24:23 2016 +0200
tree 88b06915c9a42a3c7a85682620ad3647a625aa8d
parent abe3de257c482ebeb90cf9f93d69ae744c60f9a6

gma edid: Check expected display type

Check that the EDID's digital-input bit matches the expected display
type (i.e. it should only be set for non-VGA displays).

Change-Id: I099112f190f866525e882d5e24a428092d4d8331
Signed-off-by: Nico Huber <nico.huber@secunet.com>
Reviewed-on: https://review.coreboot.org/17085
Tested-by: Nico Huber <nico.h@gmx.de>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>

common/hw-gfx-edid.ads

diff --git a/common/hw-gfx-edid.ads b/common/hw-gfx-edid.ads
index efc3b36..cce1a40 100644
--- a/common/hw-gfx-edid.ads
+++ b/common/hw-gfx-edid.ads
@@ -32,6 +32,13 @@
    with
       Pre => Offset < Raw_EDID_Index'Last;
 
+   function Compatible_Display
+     (Raw_EDID : Raw_EDID_Data;
+      Display  : Display_Type)
+      return Boolean
+   with
+      Pre => Valid (Raw_EDID);
+
    function Has_Preferred_Mode (Raw_EDID : Raw_EDID_Data) return Boolean
    with
       Pre => Valid (Raw_EDID),