Avoid warning '"Pos32" is already use-visible' Ensures compatibility with GCC 13. (cherry picked from commit a4be8a21b0e2c752da0042c79aae5942418f53e2) Original-Change-Id: Ic41a20167b88b5952642cc59e80315c5d2fd98b0 Original-Signed-off-by: Nico Huber <nico.h@gmx.de> Original-Reviewed-on: https://review.coreboot.org/c/libgfxinit/+/76491 Original-Reviewed-by: Paul Menzel <paulepanter@mailbox.org> Original-Reviewed-by: Elyes Haouas <ehaouas@noos.fr> GitOrigin-RevId: a4be8a21b0e2c752da0042c79aae5942418f53e2 Change-Id: I7290ecaa1645e0dab1b62b908f57648af762c671 Reviewed-on: https://chromium-review.googlesource.com/c/chromiumos/third_party/coreboot/libgfxinit/+/4738171 Reviewed-by: Kangheui Won <khwon@chromium.org> Commit-Queue: Kangheui Won <khwon@chromium.org> Tested-by: ChromeOS Prod (Robot) <chromeos-ci-prod@chromeos-bot.iam.gserviceaccount.com>
diff --git a/common/hw-gfx-gma-pipe_setup.ads b/common/hw-gfx-gma-pipe_setup.ads index 960e70f..7270cb2 100644 --- a/common/hw-gfx-gma-pipe_setup.ads +++ b/common/hw-gfx-gma-pipe_setup.ads
@@ -16,7 +16,6 @@ with HW.GFX.GMA.Config_Helpers; with HW.GFX.GMA.Registers; -use type HW.Int32; private package HW.GFX.GMA.Pipe_Setup is
diff --git a/common/hw-gfx-gma.adb b/common/hw-gfx-gma.adb index cacafd3..c3073d3 100644 --- a/common/hw-gfx-gma.adb +++ b/common/hw-gfx-gma.adb
@@ -33,7 +33,6 @@ with HW.Debug; with GNAT.Source_Info; -use type HW.Int32; package body HW.GFX.GMA with Refined_State =>