diff --git a/common/ironlake/hw-gfx-gma-power_and_clocks.adb b/common/ironlake/hw-gfx-gma-power_and_clocks.adb
index 6bd43e1..b95f7ff 100644
--- a/common/ironlake/hw-gfx-gma-power_and_clocks.adb
+++ b/common/ironlake/hw-gfx-gma-power_and_clocks.adb
@@ -65,4 +65,9 @@
       CDClk_Switch := False;
    end Limit_Dotclocks;
 
+   procedure Power_Up (Port : Active_Port_Type; Success : out Boolean) is
+   begin
+      Success := True;
+   end Power_Up;
+
 end HW.GFX.GMA.Power_And_Clocks;
diff --git a/common/ironlake/hw-gfx-gma-power_and_clocks.ads b/common/ironlake/hw-gfx-gma-power_and_clocks.ads
index 313239b..eee99d0 100644
--- a/common/ironlake/hw-gfx-gma-power_and_clocks.ads
+++ b/common/ironlake/hw-gfx-gma-power_and_clocks.ads
@@ -34,6 +34,10 @@
 
    procedure Power_Set_To (Configs : Pipe_Configs) is null;
 
+   pragma Warnings (GNATprove, Off, "unused variable ""Port""",
+                    Reason => "Needed for a common interface");
+   procedure Power_Up (Port : Active_Port_Type; Success : out Boolean);
+   pragma Warnings (GNATprove, On, "unused variable ""Port""");
    procedure Power_Up (Old_Configs, New_Configs : Pipe_Configs) is null;
 
    procedure Power_Down (Old_Configs, Tmp_Configs, New_Configs : Pipe_Configs)