commit ceda17dd7676889bc6f0ddae6f4cd2e51b5500d2
author Nico Huber <nico.h@gmx.de> Sat Jun 09 22:00:29 2018 +0200
committer Nico Huber <nico.h@gmx.de> Mon May 06 21:57:01 2019 +0000
tree a0ae1a855dcab5069ce58ba1fea5f75b5c1d311c
parent 0b2329afa562657d351ef1f6864688c1a8560ce8

gma registers: Add Read_GTT() procedure

Change-Id: I0f8091b8958d0c228430fad4b8343fc362a2dbb7
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/c/libgfxinit/+/27057
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>

common/hw-gfx-gma-registers.ads

diff --git a/common/hw-gfx-gma-registers.ads b/common/hw-gfx-gma-registers.ads
index 99efba9..3be2ec7 100644
--- a/common/hw-gfx-gma-registers.ads
+++ b/common/hw-gfx-gma-registers.ads
@@ -1720,17 +1720,21 @@
 
    procedure Remove_Fence (First_Page, Last_Page : GTT_Range);
 
-   pragma Warnings (Off, "declaration of ""Write_GTT"" hides one at *");
    procedure Write_GTT
      (GTT_Page       : GTT_Range;
       Device_Address : GTT_Address_Type;
       Valid          : Boolean)
    with
       Global  => (In_Out => GTT_State),
-      Depends => (GTT_State =>+ (GTT_Page, Device_Address, Valid)),
-      Pre     => True,
-      Post    => True;
-   pragma Warnings (On, "declaration of ""Write_GTT"" hides one at *");
+      Depends => (GTT_State =>+ (GTT_Page, Device_Address, Valid));
+
+   procedure Read_GTT
+     (Device_Address :    out GTT_Address_Type;
+      Valid          :    out Boolean;
+      GTT_Page       : in     GTT_Range)
+   with
+      Global  => (In_Out => GTT_State),
+      Depends => ((Device_Address, Valid, GTT_State) => (GTT_State, GTT_Page));
 
    procedure Set_Register_Base (Base : Word64; GTT_Base : Word64 := 0)
    with