commit e015e82affe6bb2ef09a5af7867ecc07c20c82ed
author Nico Huber <nico.h@gmx.de> Fri Aug 25 20:12:09 2017 +0200
committer Nico Huber <nico.h@gmx.de> Mon Aug 28 20:11:13 2017 +0000
tree 3094f72328ce989e49efc20086cd9e3c8e88bf00
parent 17d64b6d0195109623b136493a9c7380008743d3

gma: Fix refined contract of Initialize()

To be compatible with HW.PCI.Dev implementations that do actual register
accesses, we have to account for hardware state updates.

Change-Id: I86e42163d7847f7011bcf9a0ef5c2c7f25b4b1be
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/21207
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-by: Adrian-Ken Rueegsegger <ken@codelabs.ch>

common/hw-gfx-gma.adb

diff --git a/common/hw-gfx-gma.adb b/common/hw-gfx-gma.adb
index 94f3ceb..101de18 100644
--- a/common/hw-gfx-gma.adb
+++ b/common/hw-gfx-gma.adb
@@ -301,7 +301,7 @@
    with
       Refined_Global =>
         (In_Out =>
-           (Config.Valid_Port_GPU,
+           (Config.Valid_Port_GPU, Dev.PCI_State,
             Registers.Register_State, Port_IO.State),
          Input =>
            (Time.State),