gma power: Allow to explicitly enable DDI/Aux power
We used to enable power for DP-aux channels quite implicitly by faking
configs that use a specific port. As Tiger Lake requires us to enable
a DDI port's power late during the modesetting sequence, we introduce
a new API for such cases, and also use it for the DP-aux case.
Tested on HSW, and BXT & CFL where we enable PW2 explicitly now.
Change-Id: I1fd6348ff4855557166495613c6a181f85a818f4
Signed-off-by: Nico Huber <nico.huber@secunet.com>
Reviewed-on: https://review.sourcearcade.org/c/libgfxinit/+/461
Tested-by: Nico Huber <nico.h@gmx.de>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
diff --git a/common/i945/hw-gfx-gma-power_and_clocks.ads b/common/i945/hw-gfx-gma-power_and_clocks.ads
index cad2898..10e9d53 100644
--- a/common/i945/hw-gfx-gma-power_and_clocks.ads
+++ b/common/i945/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)