commit c5c767ace8fcd91004474609e6f278018c054f41
author Nico Huber <nico.h@gmx.de> Sun Jun 03 01:09:04 2018 +0200
committer Nico Huber <nico.h@gmx.de> Wed Jun 13 17:31:27 2018 +0000
tree f096f184b6026e9dfe3ca8b7e79be46f42e0321a
parent da1185eea1dad41b9b15685cbe5eaaf352158d16

Use (Width|Height)_Type for modeline sizes

Saves us a lot of conversions and explicit contracts.

Change-Id: I32c06ca87b18c25e3c519fa608c4b9b36dbc0449
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/26849
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>

common/hw-gfx-gma.adb

diff --git a/common/hw-gfx-gma.adb b/common/hw-gfx-gma.adb
index ab4e1e2..f135a5e 100644
--- a/common/hw-gfx-gma.adb
+++ b/common/hw-gfx-gma.adb
@@ -858,28 +858,28 @@
          Debug.Put_Int64 (Configs (Pipe).Mode.Dotclock);
          Debug.Put_Line (",");
          Debug.Put ("         H_Visible          => ");
-         Debug.Put_Int16 (Configs (Pipe).Mode.H_Visible);
+         Debug.Put_Int32 (Configs (Pipe).Mode.H_Visible);
          Debug.Put_Line (",");
          Debug.Put ("         H_Sync_Begin       => ");
-         Debug.Put_Int16 (Configs (Pipe).Mode.H_Sync_Begin);
+         Debug.Put_Int32 (Configs (Pipe).Mode.H_Sync_Begin);
          Debug.Put_Line (",");
          Debug.Put ("         H_Sync_End         => ");
-         Debug.Put_Int16 (Configs (Pipe).Mode.H_Sync_End);
+         Debug.Put_Int32 (Configs (Pipe).Mode.H_Sync_End);
          Debug.Put_Line (",");
          Debug.Put ("         H_Total            => ");
-         Debug.Put_Int16 (Configs (Pipe).Mode.H_Total);
+         Debug.Put_Int32 (Configs (Pipe).Mode.H_Total);
          Debug.Put_Line (",");
          Debug.Put ("         V_Visible          => ");
-         Debug.Put_Int16 (Configs (Pipe).Mode.V_Visible);
+         Debug.Put_Int32 (Configs (Pipe).Mode.V_Visible);
          Debug.Put_Line (",");
          Debug.Put ("         V_Sync_Begin       => ");
-         Debug.Put_Int16 (Configs (Pipe).Mode.V_Sync_Begin);
+         Debug.Put_Int32 (Configs (Pipe).Mode.V_Sync_Begin);
          Debug.Put_Line (",");
          Debug.Put ("         V_Sync_End         => ");
-         Debug.Put_Int16 (Configs (Pipe).Mode.V_Sync_End);
+         Debug.Put_Int32 (Configs (Pipe).Mode.V_Sync_End);
          Debug.Put_Line (",");
          Debug.Put ("         V_Total            => ");
-         Debug.Put_Int16 (Configs (Pipe).Mode.V_Total);
+         Debug.Put_Int32 (Configs (Pipe).Mode.V_Total);
          Debug.Put_Line (",");
          Debug.Put_Line ("         H_Sync_Active_High => " &
            (if Configs (Pipe).Mode.H_Sync_Active_High