[coreboot-gerrit] Change in libgfxinit[master]: gma display probing: Provide Global contract for Scan_Ports()
Nico Huber (Code Review)
gerrit at coreboot.org
Tue Jun 5 15:38:45 CEST 2018
Nico Huber has uploaded this change for review. ( https://review.coreboot.org/26867
Change subject: gma display probing: Provide Global contract for Scan_Ports()
......................................................................
gma display probing: Provide Global contract for Scan_Ports()
Change-Id: Ic3e342fb111a8b6f2ddb01b308b70eda7dd23413
Signed-off-by: Nico Huber <nico.huber at secunet.com>
---
M common/hw-gfx-gma-display_probing.adb
M common/hw-gfx-gma-display_probing.ads
2 files changed, 18 insertions(+), 1 deletion(-)
git pull ssh://review.coreboot.org:29418/libgfxinit refs/changes/67/26867/1
diff --git a/common/hw-gfx-gma-display_probing.adb b/common/hw-gfx-gma-display_probing.adb
index 9f756f6..d02d0e0 100644
--- a/common/hw-gfx-gma-display_probing.adb
+++ b/common/hw-gfx-gma-display_probing.adb
@@ -20,6 +20,7 @@
with HW.GFX.GMA.DP_Aux_Ch;
with HW.GFX.GMA.Panel;
with HW.GFX.GMA.Power_And_Clocks;
+with HW.GFX.GMA.Registers;
with HW.Debug;
with GNAT.Source_Info;
@@ -161,6 +162,14 @@
Ports : in Port_List := All_Ports;
Max_Pipe : in Pipe_Index := Pipe_Index'Last;
Keep_Power : in Boolean := False)
+ with
+ Refined_Global =>
+ (Input =>
+ (GMA.Cur_Configs,
+ Config.Raw_Clock, Config.Valid_Port_GPU,
+ Time.State),
+ In_Out => (Panel.Panel_State, Registers.Register_State),
+ Proof_In => (Init_State))
is
Probe_Internal : Boolean := False;
diff --git a/common/hw-gfx-gma-display_probing.ads b/common/hw-gfx-gma-display_probing.ads
index f5cd839..8ad4acc 100644
--- a/common/hw-gfx-gma-display_probing.ads
+++ b/common/hw-gfx-gma-display_probing.ads
@@ -12,6 +12,8 @@
-- GNU General Public License for more details.
--
+with HW.Time;
+
package HW.GFX.GMA.Display_Probing
is
@@ -24,6 +26,12 @@
(Configs : out Pipe_Configs;
Ports : in Port_List := All_Ports;
Max_Pipe : in Pipe_Index := Pipe_Index'Last;
- Keep_Power : in Boolean := False);
+ Keep_Power : in Boolean := False)
+ with
+ Global =>
+ (Input => (GMA.Config_State, Time.State),
+ In_Out => (GMA.State, GMA.Device_State),
+ Proof_In => (GMA.Init_State)),
+ Pre => GMA.Is_Initialized;
end HW.GFX.GMA.Display_Probing;
--
To view, visit https://review.coreboot.org/26867
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings
Gerrit-Project: libgfxinit
Gerrit-Branch: master
Gerrit-MessageType: newchange
Gerrit-Change-Id: Ic3e342fb111a8b6f2ddb01b308b70eda7dd23413
Gerrit-Change-Number: 26867
Gerrit-PatchSet: 1
Gerrit-Owner: Nico Huber <nico.h at gmx.de>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.coreboot.org/pipermail/coreboot-gerrit/attachments/20180605/d1b7af73/attachment.html>
More information about the coreboot-gerrit
mailing list