<p>Nico Huber has uploaded this change for <strong>review</strong>.</p><p><a href="https://review.coreboot.org/21207">View Change</a></p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">gma: Fix refined contract of Initialize()<br><br>To be compatible with HW.PCI.Dev implementations that do actual register<br>accesses, we have to account for hardware state updates.<br><br>Change-Id: I86e42163d7847f7011bcf9a0ef5c2c7f25b4b1be<br>Signed-off-by: Nico Huber <nico.h@gmx.de><br>---<br>M common/hw-gfx-gma.adb<br>1 file changed, 1 insertion(+), 1 deletion(-)<br><br></pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;">git pull ssh://review.coreboot.org:29418/libgfxinit refs/changes/07/21207/1</pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;">diff --git a/common/hw-gfx-gma.adb b/common/hw-gfx-gma.adb<br>index 94f3ceb..101de18 100644<br>--- a/common/hw-gfx-gma.adb<br>+++ b/common/hw-gfx-gma.adb<br>@@ -301,7 +301,7 @@<br>    with<br>       Refined_Global =><br>         (In_Out =><br>-           (Config.Valid_Port_GPU,<br>+           (Config.Valid_Port_GPU, Dev.PCI_State,<br>             Registers.Register_State, Port_IO.State),<br>          Input =><br>            (Time.State),<br></pre><p>To view, visit <a href="https://review.coreboot.org/21207">change 21207</a>. To unsubscribe, visit <a href="https://review.coreboot.org/settings">settings</a>.</p><div itemscope itemtype="http://schema.org/EmailMessage"><div itemscope itemprop="action" itemtype="http://schema.org/ViewAction"><link itemprop="url" href="https://review.coreboot.org/21207"/><meta itemprop="name" content="View Change"/></div></div>

<div style="display:none"> Gerrit-Project: libgfxinit </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-MessageType: newchange </div>
<div style="display:none"> Gerrit-Change-Id: I86e42163d7847f7011bcf9a0ef5c2c7f25b4b1be </div>
<div style="display:none"> Gerrit-Change-Number: 21207 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: Nico Huber <nico.h@gmx.de> </div>