<p>Nico Huber has uploaded this change for <strong>review</strong>.</p><p><a href="https://review.coreboot.org/26867">View Change</a></p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">gma display probing: Provide Global contract for Scan_Ports()<br><br>Change-Id: Ic3e342fb111a8b6f2ddb01b308b70eda7dd23413<br>Signed-off-by: Nico Huber <nico.huber@secunet.com><br>---<br>M common/hw-gfx-gma-display_probing.adb<br>M common/hw-gfx-gma-display_probing.ads<br>2 files changed, 18 insertions(+), 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/67/26867/1</pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;"><span>diff --git a/common/hw-gfx-gma-display_probing.adb b/common/hw-gfx-gma-display_probing.adb</span><br><span>index 9f756f6..d02d0e0 100644</span><br><span>--- a/common/hw-gfx-gma-display_probing.adb</span><br><span>+++ b/common/hw-gfx-gma-display_probing.adb</span><br><span>@@ -20,6 +20,7 @@</span><br><span> with HW.GFX.GMA.DP_Aux_Ch;</span><br><span> with HW.GFX.GMA.Panel;</span><br><span> with HW.GFX.GMA.Power_And_Clocks;</span><br><span style="color: hsl(120, 100%, 40%);">+with HW.GFX.GMA.Registers;</span><br><span> </span><br><span> with HW.Debug;</span><br><span> with GNAT.Source_Info;</span><br><span>@@ -161,6 +162,14 @@</span><br><span>       Ports       : in     Port_List := All_Ports;</span><br><span>       Max_Pipe    : in     Pipe_Index := Pipe_Index'Last;</span><br><span>       Keep_Power  : in     Boolean := False)</span><br><span style="color: hsl(120, 100%, 40%);">+   with</span><br><span style="color: hsl(120, 100%, 40%);">+      Refined_Global =></span><br><span style="color: hsl(120, 100%, 40%);">+        (Input =></span><br><span style="color: hsl(120, 100%, 40%);">+           (GMA.Cur_Configs,</span><br><span style="color: hsl(120, 100%, 40%);">+            Config.Raw_Clock, Config.Valid_Port_GPU,</span><br><span style="color: hsl(120, 100%, 40%);">+            Time.State),</span><br><span style="color: hsl(120, 100%, 40%);">+         In_Out => (Panel.Panel_State, Registers.Register_State),</span><br><span style="color: hsl(120, 100%, 40%);">+         Proof_In => (Init_State))</span><br><span>    is</span><br><span>       Probe_Internal : Boolean := False;</span><br><span> </span><br><span>diff --git a/common/hw-gfx-gma-display_probing.ads b/common/hw-gfx-gma-display_probing.ads</span><br><span>index f5cd839..8ad4acc 100644</span><br><span>--- a/common/hw-gfx-gma-display_probing.ads</span><br><span>+++ b/common/hw-gfx-gma-display_probing.ads</span><br><span>@@ -12,6 +12,8 @@</span><br><span> -- GNU General Public License for more details.</span><br><span> --</span><br><span> </span><br><span style="color: hsl(120, 100%, 40%);">+with HW.Time;</span><br><span style="color: hsl(120, 100%, 40%);">+</span><br><span> package HW.GFX.GMA.Display_Probing</span><br><span> is</span><br><span> </span><br><span>@@ -24,6 +26,12 @@</span><br><span>      (Configs     :    out Pipe_Configs;</span><br><span>       Ports       : in     Port_List := All_Ports;</span><br><span>       Max_Pipe    : in     Pipe_Index := Pipe_Index'Last;</span><br><span style="color: hsl(0, 100%, 40%);">-      Keep_Power  : in     Boolean := False);</span><br><span style="color: hsl(120, 100%, 40%);">+      Keep_Power  : in     Boolean := False)</span><br><span style="color: hsl(120, 100%, 40%);">+   with</span><br><span style="color: hsl(120, 100%, 40%);">+      Global =></span><br><span style="color: hsl(120, 100%, 40%);">+        (Input => (GMA.Config_State, Time.State),</span><br><span style="color: hsl(120, 100%, 40%);">+         In_Out => (GMA.State, GMA.Device_State),</span><br><span style="color: hsl(120, 100%, 40%);">+         Proof_In => (GMA.Init_State)),</span><br><span style="color: hsl(120, 100%, 40%);">+      Pre => GMA.Is_Initialized;</span><br><span> </span><br><span> end HW.GFX.GMA.Display_Probing;</span><br><span></span><br></pre><p>To view, visit <a href="https://review.coreboot.org/26867">change 26867</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/26867"/><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: Ic3e342fb111a8b6f2ddb01b308b70eda7dd23413 </div>
<div style="display:none"> Gerrit-Change-Number: 26867 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: Nico Huber <nico.h@gmx.de> </div>