[coreboot-gerrit] Change in libgfxinit[master]: gma panel: Refactor to allow proof without inlining

[Nico Huber (Code Review)]

Nico Huber has uploaded this change for review. ( https://review.coreboot.org/26846


Change subject: gma panel: Refactor to allow proof without inlining
......................................................................

gma panel: Refactor to allow proof without inlining

Change-Id: I8ed25efec5ee66d3dd47cec4433a4f634911232a
Signed-off-by: Nico Huber <nico.huber at secunet.com>
---
M common/hw-gfx-gma-panel.adb
1 file changed, 2 insertions(+), 5 deletions(-)



  git pull ssh://review.coreboot.org:29418/libgfxinit refs/changes/46/26846/1

diff --git a/common/hw-gfx-gma-panel.adb b/common/hw-gfx-gma-panel.adb
index ef18158..968fbbe 100644
--- a/common/hw-gfx-gma-panel.adb
+++ b/common/hw-gfx-gma-panel.adb
@@ -58,11 +58,8 @@
 
    ----------------------------------------------------------------------------
 
-   function Div_Round_Up32 (Numerator, Denominator : Natural) return Word32 is
-   begin
-      return (Word32 (Numerator) + Word32 (Denominator) - 1)
-               / Word32 (Denominator);
-   end Div_Round_Up32;
+   function Div_Round_Up32 (Num : Natural; Denom : Positive) return Word32 is
+     ((Word32 (Num) + Word32 (Denom) - 1) / Word32 (Denom));
 
    PCH_PP_STATUS_ENABLED               : constant := 16#00_0001# * 2 ** 31;
    PCH_PP_STATUS_REQUIRE_ASSET         : constant := 16#00_0001# * 2 ** 30;

-- 
To view, visit https://review.coreboot.org/26846
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings

Gerrit-Project: libgfxinit
Gerrit-Branch: master
Gerrit-MessageType: newchange
Gerrit-Change-Id: I8ed25efec5ee66d3dd47cec4433a4f634911232a
Gerrit-Change-Number: 26846
Gerrit-PatchSet: 1
Gerrit-Owner: Nico Huber <nico.h at gmx.de>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.coreboot.org/pipermail/coreboot-gerrit/attachments/20180604/d05c59b6/attachment-0001.html>