diff --git a/common/hw-gfx-gma.ads b/common/hw-gfx-gma.ads
index 3771804..cd992b8 100644
--- a/common/hw-gfx-gma.ads
+++ b/common/hw-gfx-gma.ads
@@ -80,6 +80,12 @@
       Global => (Input => Init_State);
    pragma Warnings (GNATprove, On, "unused variable ""Write_Delay""");
 
+   pragma Warnings (GNATprove, Off, "subprogram ""Power_Up_VGA"" has no effect",
+                    Reason => "Effect depends on the platform compiled for");
+   procedure Power_Up_VGA
+   with
+      Pre => Is_Initialized;
+
    procedure Update_Outputs (Configs : Pipe_Configs);
 
    pragma Warnings (GNATprove, Off, "subprogram ""Dump_Configs"" has no effect",