[coreboot-gerrit] Change in libgfxinit[master]: gma pipe setup: Drop explicit Global and Depends contracts

[Nico Huber (Code Review)]

Nico Huber has uploaded this change for review. ( https://review.coreboot.org/27064


Change subject: gma pipe setup: Drop explicit Global and Depends contracts
......................................................................

gma pipe setup: Drop explicit Global and Depends contracts

These were originally only added to prevent proof inlining and
are not needed any more.

Change-Id: Ia75c78a7030960a56e9cb469601b24c677732875
Signed-off-by: Nico Huber <nico.h at gmx.de>
---
M common/hw-gfx-gma-pipe_setup.adb
1 file changed, 0 insertions(+), 12 deletions(-)



  git pull ssh://review.coreboot.org:29418/libgfxinit refs/changes/64/27064/1

diff --git a/common/hw-gfx-gma-pipe_setup.adb b/common/hw-gfx-gma-pipe_setup.adb
index 50b63e5..10afbfd 100644
--- a/common/hw-gfx-gma-pipe_setup.adb
+++ b/common/hw-gfx-gma-pipe_setup.adb
@@ -283,18 +283,6 @@
       Dither_BPC  : BPC_Type;
       Dither      : Boolean)
    with
-      Global => (In_Out => (Registers.Register_State, Port_IO.State)),
-      Depends =>
-        (Registers.Register_State
-            =>+
-              (Registers.Register_State,
-               Controller,
-               Framebuffer,
-               Dither_BPC,
-               Dither),
-         Port_IO.State
-            =>+
-               (Framebuffer)),
       Pre =>
          Framebuffer.Offset = VGA_PLANE_FRAMEBUFFER_OFFSET or
          Framebuffer.Height + Framebuffer.Start_Y <= Framebuffer.V_Stride

-- 
To view, visit https://review.coreboot.org/27064
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: Ia75c78a7030960a56e9cb469601b24c677732875
Gerrit-Change-Number: 27064
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/20180612/fbc09302/attachment-0001.html>