<p>Nico Huber has uploaded this change for <strong>review</strong>.</p><p><a href="https://review.coreboot.org/27064">View Change</a></p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">gma pipe setup: Drop explicit Global and Depends contracts<br><br>These were originally only added to prevent proof inlining and<br>are not needed any more.<br><br>Change-Id: Ia75c78a7030960a56e9cb469601b24c677732875<br>Signed-off-by: Nico Huber <nico.h@gmx.de><br>---<br>M common/hw-gfx-gma-pipe_setup.adb<br>1 file changed, 0 insertions(+), 12 deletions(-)<br><br></pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;">git pull ssh://review.coreboot.org:29418/libgfxinit refs/changes/64/27064/1</pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;"><span>diff --git a/common/hw-gfx-gma-pipe_setup.adb b/common/hw-gfx-gma-pipe_setup.adb</span><br><span>index 50b63e5..10afbfd 100644</span><br><span>--- a/common/hw-gfx-gma-pipe_setup.adb</span><br><span>+++ b/common/hw-gfx-gma-pipe_setup.adb</span><br><span>@@ -283,18 +283,6 @@</span><br><span> Dither_BPC : BPC_Type;</span><br><span> Dither : Boolean)</span><br><span> with</span><br><span style="color: hsl(0, 100%, 40%);">- Global => (In_Out => (Registers.Register_State, Port_IO.State)),</span><br><span style="color: hsl(0, 100%, 40%);">- Depends =></span><br><span style="color: hsl(0, 100%, 40%);">- (Registers.Register_State</span><br><span style="color: hsl(0, 100%, 40%);">- =>+</span><br><span style="color: hsl(0, 100%, 40%);">- (Registers.Register_State,</span><br><span style="color: hsl(0, 100%, 40%);">- Controller,</span><br><span style="color: hsl(0, 100%, 40%);">- Framebuffer,</span><br><span style="color: hsl(0, 100%, 40%);">- Dither_BPC,</span><br><span style="color: hsl(0, 100%, 40%);">- Dither),</span><br><span style="color: hsl(0, 100%, 40%);">- Port_IO.State</span><br><span style="color: hsl(0, 100%, 40%);">- =>+</span><br><span style="color: hsl(0, 100%, 40%);">- (Framebuffer)),</span><br><span> Pre =></span><br><span> Framebuffer.Offset = VGA_PLANE_FRAMEBUFFER_OFFSET or</span><br><span> Framebuffer.Height + Framebuffer.Start_Y <= Framebuffer.V_Stride</span><br><span></span><br></pre><p>To view, visit <a href="https://review.coreboot.org/27064">change 27064</a>. To unsubscribe, or for help writing mail filters, visit <a href="https://review.coreboot.org/settings">settings</a>.</p><div itemscope itemtype="http://schema.org/EmailMessage"><div itemscope itemprop="action" itemtype="http://schema.org/ViewAction"><link itemprop="url" href="https://review.coreboot.org/27064"/><meta itemprop="name" content="View Change"/></div></div>
<div style="display:none"> Gerrit-Project: libgfxinit </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-MessageType: newchange </div>
<div style="display:none"> Gerrit-Change-Id: Ia75c78a7030960a56e9cb469601b24c677732875 </div>
<div style="display:none"> Gerrit-Change-Number: 27064 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: Nico Huber <nico.h@gmx.de> </div>