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-dp_aux_request.adb

diff --git a/common/hw-gfx-gma-dp_aux_request.adb b/common/hw-gfx-gma-dp_aux_request.adb
index 75a2cca..c057059 100644
--- a/common/hw-gfx-gma-dp_aux_request.adb
+++ b/common/hw-gfx-gma-dp_aux_request.adb
@@ -163,7 +163,7 @@
       Success           :    out Boolean)
    with
       Global => (In_Out => Registers.Register_State,
-                 Input  => (Time.State, Config.Raw_Clock)),
+                 Input  => (Time.State, Config.Variable)),
       Depends =>
         ((Registers.Register_State,
           Response,
@@ -171,7 +171,7 @@
           Success)
              =>
                (Registers.Register_State,
-                Config.Raw_Clock,
+                Config.Variable,
                 Time.State,
                 Port,
                 Request,