diff --git a/common/hw-gfx-gma-pipe_setup.ads b/common/hw-gfx-gma-pipe_setup.ads
index 725bc08..35d9e87 100644
--- a/common/hw-gfx-gma-pipe_setup.ads
+++ b/common/hw-gfx-gma-pipe_setup.ads
@@ -25,8 +25,10 @@
       Framebuffer : Framebuffer_Type)
    with
       Pre =>
-         Framebuffer.Width <= Pos32 (Port_Cfg.Mode.H_Visible) and
-         Framebuffer.Height <= Pos32 (Port_Cfg.Mode.V_Visible);
+         Rotated_Width (Framebuffer) <= Port_Cfg.Mode.H_Visible and
+         Rotated_Height (Framebuffer) <= Port_Cfg.Mode.V_Visible and
+         (Framebuffer.Offset = VGA_PLANE_FRAMEBUFFER_OFFSET or
+          Framebuffer.Height <= Framebuffer.V_Stride);
 
    procedure Off (Pipe : Pipe_Index);