<p>Nico Huber has uploaded this change for <strong>review</strong>.</p><p><a href="https://review.coreboot.org/26846">View Change</a></p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">gma panel: Refactor to allow proof without inlining<br><br>Change-Id: I8ed25efec5ee66d3dd47cec4433a4f634911232a<br>Signed-off-by: Nico Huber <nico.huber@secunet.com><br>---<br>M common/hw-gfx-gma-panel.adb<br>1 file changed, 2 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/46/26846/1</pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;"><span>diff --git a/common/hw-gfx-gma-panel.adb b/common/hw-gfx-gma-panel.adb</span><br><span>index ef18158..968fbbe 100644</span><br><span>--- a/common/hw-gfx-gma-panel.adb</span><br><span>+++ b/common/hw-gfx-gma-panel.adb</span><br><span>@@ -58,11 +58,8 @@</span><br><span> </span><br><span>    ----------------------------------------------------------------------------</span><br><span> </span><br><span style="color: hsl(0, 100%, 40%);">-   function Div_Round_Up32 (Numerator, Denominator : Natural) return Word32 is</span><br><span style="color: hsl(0, 100%, 40%);">-   begin</span><br><span style="color: hsl(0, 100%, 40%);">-      return (Word32 (Numerator) + Word32 (Denominator) - 1)</span><br><span style="color: hsl(0, 100%, 40%);">-               / Word32 (Denominator);</span><br><span style="color: hsl(0, 100%, 40%);">-   end Div_Round_Up32;</span><br><span style="color: hsl(120, 100%, 40%);">+   function Div_Round_Up32 (Num : Natural; Denom : Positive) return Word32 is</span><br><span style="color: hsl(120, 100%, 40%);">+     ((Word32 (Num) + Word32 (Denom) - 1) / Word32 (Denom));</span><br><span> </span><br><span>    PCH_PP_STATUS_ENABLED               : constant := 16#00_0001# * 2 ** 31;</span><br><span>    PCH_PP_STATUS_REQUIRE_ASSET         : constant := 16#00_0001# * 2 ** 30;</span><br><span></span><br></pre><p>To view, visit <a href="https://review.coreboot.org/26846">change 26846</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/26846"/><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: I8ed25efec5ee66d3dd47cec4433a4f634911232a </div>
<div style="display:none"> Gerrit-Change-Number: 26846 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: Nico Huber <nico.h@gmx.de> </div>