| commit | 1dff38cd6aaa77fb660efa82475ae44904c99941 | [log] [tgz] |
|---|---|---|
| author | Nico Huber <nico.h@gmx.de> | Sun Sep 04 14:11:39 2022 +0200 |
| committer | Nico Huber <nico.h@gmx.de> | Mon Nov 28 17:03:45 2022 +0000 |
| tree | 4068487f433caed7dd4ada9ac6a18305be155767 | |
| parent | c68cafa3d93b734c1bd5ca0f518f22db32053c9a [diff] |
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/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;