<p>Nico Huber has uploaded this change for <strong>review</strong>.</p><p><a href="https://review.coreboot.org/26845">View Change</a></p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">gma: Add contract to Enable_Output() to rely less on proof inlining<br><br>Change-Id: I7bc066b33c969e528c7bcd9328178fac8a37ad21<br>Signed-off-by: Nico Huber <nico.huber@secunet.com><br>---<br>M common/hw-gfx-gma.adb<br>1 file changed, 2 insertions(+), 0 deletions(-)<br><br></pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;">git pull ssh://review.coreboot.org:29418/libgfxinit refs/changes/45/26845/1</pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;"><span>diff --git a/common/hw-gfx-gma.adb b/common/hw-gfx-gma.adb</span><br><span>index a5e9dbe..ab4e1e2 100644</span><br><span>--- a/common/hw-gfx-gma.adb</span><br><span>+++ b/common/hw-gfx-gma.adb</span><br><span>@@ -97,6 +97,8 @@</span><br><span>      (Pipe     : in     Pipe_Index;</span><br><span>       Pipe_Cfg : in     Pipe_Config;</span><br><span>       Success  :    out Boolean)</span><br><span style="color: hsl(120, 100%, 40%);">+   with</span><br><span style="color: hsl(120, 100%, 40%);">+      Pre => Pipe_Cfg.Port in Active_Port_Type</span><br><span>    is</span><br><span>       Port_Cfg : Port_Config;</span><br><span>       Scaler_Available : Boolean;</span><br><span></span><br></pre><p>To view, visit <a href="https://review.coreboot.org/26845">change 26845</a>. To unsubscribe, or for help writing mail filters, 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/26845"/><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: I7bc066b33c969e528c7bcd9328178fac8a37ad21 </div>
<div style="display:none"> Gerrit-Change-Number: 26845 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: Nico Huber <nico.h@gmx.de> </div>