tree 4068487f433caed7dd4ada9ac6a18305be155767
parent c68cafa3d93b734c1bd5ca0f518f22db32053c9a
author Nico Huber <nico.h@gmx.de> 1662293499 +0200
committer Nico Huber <nico.h@gmx.de> 1669655025 +0000

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>