gma connectors: Add `Pipe' parameter to Pre_/Post_Off procedures
Change-Id: I01dbf3cae3dfef2130fa10116f70f23238c7a48c
Signed-off-by: Nico Huber <nico.huber@secunet.com>
Reviewed-on: https://review.sourcearcade.org/c/libgfxinit/+/467
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Tested-by: Nico Huber <nico.h@gmx.de>
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;