<p>Nico Huber has uploaded this change for <strong>review</strong>.</p><p><a href="https://review.coreboot.org/26842">View Change</a></p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">gma broxton: Tighten types to rely less on proof inlining<br><br>Change-Id: I2ff61484715461026463be7fbc45c283e75c903b<br>Signed-off-by: Nico Huber <nico.huber@secunet.com><br>---<br>M common/broxton/hw-gfx-gma-plls.adb<br>M common/broxton/hw-gfx-gma-power_and_clocks.adb<br>2 files changed, 5 insertions(+), 5 deletions(-)<br><br></pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;">git pull ssh://review.coreboot.org:29418/libgfxinit refs/changes/42/26842/1</pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;"><span>diff --git a/common/broxton/hw-gfx-gma-plls.adb b/common/broxton/hw-gfx-gma-plls.adb</span><br><span>index 7da47f2..087ff12 100644</span><br><span>--- a/common/broxton/hw-gfx-gma-plls.adb</span><br><span>+++ b/common/broxton/hw-gfx-gma-plls.adb</span><br><span>@@ -330,7 +330,7 @@</span><br><span> </span><br><span> ----------------------------------------------------------------------------</span><br><span> </span><br><span style="color: hsl(0, 100%, 40%);">- procedure Program_DPLL (P : T; Clock : Clock_Type)</span><br><span style="color: hsl(120, 100%, 40%);">+ procedure Program_DPLL (P : Valid_PLLs; Clock : Clock_Type)</span><br><span> is</span><br><span> PCS : Word32;</span><br><span> begin</span><br><span>diff --git a/common/broxton/hw-gfx-gma-power_and_clocks.adb b/common/broxton/hw-gfx-gma-power_and_clocks.adb</span><br><span>index c0f3075..8aa9a21 100644</span><br><span>--- a/common/broxton/hw-gfx-gma-power_and_clocks.adb</span><br><span>+++ b/common/broxton/hw-gfx-gma-power_and_clocks.adb</span><br><span>@@ -67,7 +67,7 @@</span><br><span> CDCLK_CD2X_SSA_PRECHARGE_ENABLE : constant := 1 * 2 ** 16;</span><br><span> CDCLK_CTL_CD_FREQ_DECIMAL_MASK : constant := 16#7ff#;</span><br><span> </span><br><span style="color: hsl(0, 100%, 40%);">- function CDCLK_CTL_CD_FREQ_DECIMAL (Freq : Positive) return Word32 is</span><br><span style="color: hsl(120, 100%, 40%);">+ function CDCLK_CTL_CD_FREQ_DECIMAL (Freq : Frequency_Type) return Word32 is</span><br><span> begin</span><br><span> return Word32 (2 * (Freq / 1_000_000 - 1));</span><br><span> end CDCLK_CTL_CD_FREQ_DECIMAL;</span><br><span>@@ -216,13 +216,13 @@</span><br><span> </span><br><span> CDClk_Ref : constant := 19_200_000;</span><br><span> </span><br><span style="color: hsl(0, 100%, 40%);">- procedure Set_CDClk (Freq : Positive)</span><br><span style="color: hsl(120, 100%, 40%);">+ procedure Set_CDClk (Freq : Frequency_Type)</span><br><span> with</span><br><span> Pre =></span><br><span> Freq = CDClk_Ref or Freq = 144_000_000 or Freq = 288_000_000 or</span><br><span> Freq = 384_000_000 or Freq = 576_000_000 or Freq = 624_000_000</span><br><span> is</span><br><span style="color: hsl(0, 100%, 40%);">- VCO : constant Natural :=</span><br><span style="color: hsl(120, 100%, 40%);">+ VCO : constant Int64 :=</span><br><span> CDClk_Ref *</span><br><span> (if Freq = CDClk_Ref then</span><br><span> 0</span><br><span>@@ -312,7 +312,7 @@</span><br><span> Wait_Set_Mask (FUSE_STATUS, FUSE_STATUS_PG0_DIST_STATUS);</span><br><span> PW_On (PW1);</span><br><span> </span><br><span style="color: hsl(0, 100%, 40%);">- Set_CDClk (Positive (Config.Default_CDClk_Freq));</span><br><span style="color: hsl(120, 100%, 40%);">+ Set_CDClk (Config.Default_CDClk_Freq);</span><br><span> </span><br><span> Set_Mask (DBUF_CTL, DBUF_CTL_DBUF_POWER_REQUEST);</span><br><span> Wait_Set_Mask (DBUF_CTL, DBUF_CTL_DBUF_POWER_STATE);</span><br><span></span><br></pre><p>To view, visit <a href="https://review.coreboot.org/26842">change 26842</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/26842"/><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: I2ff61484715461026463be7fbc45c283e75c903b </div>
<div style="display:none"> Gerrit-Change-Number: 26842 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: Nico Huber <nico.h@gmx.de> </div>