gma: Make HW.GFX.GMA.SPLL package private
If it's not private, newer GNATprove versions assume the less
specific `GMA.Device_State` would be used as global input/output.
Change-Id: I8a8258fecc5433510555f9a1165356a769c02be7
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/c/libgfxinit/+/68110
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
diff --git a/common/broxton/hw-gfx-gma-spll.ads b/common/broxton/hw-gfx-gma-spll.ads
index 571dde9..277a8c1 100644
--- a/common/broxton/hw-gfx-gma-spll.ads
+++ b/common/broxton/hw-gfx-gma-spll.ads
@@ -12,7 +12,7 @@
-- GNU General Public License for more details.
--
-package HW.GFX.GMA.SPLL is
+private package HW.GFX.GMA.SPLL is
-- Just for a common interface with Haswell's DDI.
-- There is no SPLL (no FDI) on Broxton.
diff --git a/common/haswell/hw-gfx-gma-spll.ads b/common/haswell/hw-gfx-gma-spll.ads
index 60222ed..bd1402c 100644
--- a/common/haswell/hw-gfx-gma-spll.ads
+++ b/common/haswell/hw-gfx-gma-spll.ads
@@ -12,7 +12,7 @@
-- GNU General Public License for more details.
--
-package HW.GFX.GMA.SPLL is
+private package HW.GFX.GMA.SPLL is
procedure On;
diff --git a/common/skylake/hw-gfx-gma-spll.ads b/common/skylake/hw-gfx-gma-spll.ads
index 6b9dc01..7b038df 100644
--- a/common/skylake/hw-gfx-gma-spll.ads
+++ b/common/skylake/hw-gfx-gma-spll.ads
@@ -12,7 +12,7 @@
-- GNU General Public License for more details.
--
-package HW.GFX.GMA.SPLL is
+private package HW.GFX.GMA.SPLL is
-- Just for a common interface with Haswell's DDI.
-- There is no SPLL (no FDI) on Skylake.