gma: Show that we never try to downscale the image
This helps to simplify follow-up code that enables scaling.
Change-Id: I2796117e00249aa6654d627eee51ffdb37016d8b
Signed-off-by: Nico Huber <nico.huber@secunet.com>
Reviewed-on: https://review.coreboot.org/17262
Tested-by: Nico Huber <nico.h@gmx.de>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>
diff --git a/common/hw-gfx-gma-pipe_setup.ads b/common/hw-gfx-gma-pipe_setup.ads
index 42bd85d..b696934 100644
--- a/common/hw-gfx-gma-pipe_setup.ads
+++ b/common/hw-gfx-gma-pipe_setup.ads
@@ -14,6 +14,8 @@
with HW.GFX.GMA.Registers;
+use type HW.Int32;
+
private package HW.GFX.GMA.Pipe_Setup
is
@@ -29,7 +31,11 @@
(Controller : Controller_Type;
Head : Head_Type;
Port_Cfg : Port_Config;
- Framebuffer : Framebuffer_Type);
+ Framebuffer : Framebuffer_Type)
+ with
+ Pre =>
+ Framebuffer.Width <= Pos32 (Port_Cfg.Mode.H_Visible) and
+ Framebuffer.Height <= Pos32 (Port_Cfg.Mode.V_Visible);
procedure Off
(Controller : Controller_Type;