commit 30e8408399a1b24abe338a689bf7405b03ac03a1
author Nico Huber <nico.h@gmx.de> Sun Jun 10 13:28:05 2018 +0200
committer Nico Huber <nico.h@gmx.de> Wed May 08 12:37:29 2019 +0000
tree 6bee2f7b53ec000a643fc5bab14bc65cf3c3b3bc
parent 86445f36097b75f3c1648868b72f9359937511d3

gma config: Group mutable state into a record

Put all state into a record, `Config.Variable`, so it can be referenced
at once from other packages. This is required to add stateful variables
to `Config` without changing the rest of the codebase.

Change-Id: Iffc7984b61e57cda7bdaf3b915a4fc51b396423a
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/c/libgfxinit/+/27065
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 dfe986f..b62ebce 100644
--- a/common/hw-gfx-gma.adb
+++ b/common/hw-gfx-gma.adb
@@ -44,7 +44,7 @@
          HPD_Delay, Wait_For_HPD,
          Linear_FB_Base),
       Init_State => Initialized,
-      Config_State => (Config.Valid_Port, Config.Raw_Clock),
+      Config_State => (Config.Variable),
       Device_State =>
         (Dev.PCI_State, Registers.Register_State, Registers.GTT_State))
 is
@@ -371,9 +371,8 @@
    with
       Refined_Global =>
         (In_Out =>
-           (Config.Valid_Port, Dev.PCI_State,
-            Registers.Register_State, Port_IO.State,
-            Config.Raw_Clock),
+           (Config.Variable, Dev.PCI_State,
+            Registers.Register_State, Port_IO.State),
          Input =>
            (Time.State),
          Output =>