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