[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 
---
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;