Nico Huber has uploaded this change for review. ( https://review.coreboot.org/c/libgfxinit/+/68110 )
Change subject: gma: Make HW.GFX.GMA.SPLL package private ......................................................................
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 --- M common/broxton/hw-gfx-gma-spll.ads M common/haswell/hw-gfx-gma-spll.ads M common/skylake/hw-gfx-gma-spll.ads 3 files changed, 16 insertions(+), 3 deletions(-)
git pull ssh://review.coreboot.org:29418/libgfxinit refs/changes/10/68110/1
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.