gma: Rename ports Digital[123] => HDMI[123]
Before we had DP support, Digital just meant HDMI or DVI, but now it's
pretty confusing. Rename them to HDMI as it supersedes DVI.
Change-Id: Ie8b4c60ac60040aa5c725ffc9cd06aa164391756
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/17750
Reviewed-by: Reto Buerki <reet@codelabs.ch>
diff --git a/common/hw-gfx-gma.ads b/common/hw-gfx-gma.ads
index b7d0b47..de00962 100644
--- a/common/hw-gfx-gma.ads
+++ b/common/hw-gfx-gma.ads
@@ -43,9 +43,9 @@
DP1,
DP2,
DP3,
- Digital1,
- Digital2,
- Digital3,
+ HDMI1, -- or DVI
+ HDMI2, -- or DVI
+ HDMI3, -- or DVI
Analog);
type Port_List_Range is range 0 .. 7;
type Port_List is array (Port_List_Range) of Port_Type;