diff --git a/common/hw-gfx-gma-connectors.ads b/common/hw-gfx-gma-connectors.ads
index 89b9c6a..5fee0d2 100644
--- a/common/hw-gfx-gma-connectors.ads
+++ b/common/hw-gfx-gma-connectors.ads
@@ -43,10 +43,10 @@
       Port_Cfg : in     Port_Config;
       PLL_Hint : in     Word32;
       Success  :    out Boolean);
-   pragma Warnings (GNATprove, On, "unused variable ""P*""");
 
-   procedure Pre_Off (Port_Cfg : Port_Config);
-   procedure Post_Off (Port_Cfg : Port_Config);
+   procedure Pre_Off (Pipe : Pipe_Index; Port_Cfg : Port_Config);
+   procedure Post_Off (Pipe : Pipe_Index; Port_Cfg : Port_Config);
+   pragma Warnings (GNATprove, On, "unused variable ""P*""");
 
    procedure Pre_All_Off;
    procedure Post_All_Off;