gma panel: Refactor to allow proof without inlining
Change-Id: I8ed25efec5ee66d3dd47cec4433a4f634911232a
Signed-off-by: Nico Huber <nico.huber@secunet.com>
Reviewed-on: https://review.coreboot.org/26846
Tested-by: Nico Huber <nico.h@gmx.de>
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
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;