[coreboot-gerrit] Change in ...libgfxinit[master]: gma pipe setup: Refactor calculation to ease proof

[Nico Huber (Code Review)]

Hello Angel Pons, Paul Menzel,

I'd like you to reexamine a change. Please visit

https://review.coreboot.org/c/libgfxinit/+/27152

to look at the new patch set (#4).

Change subject: gma pipe setup: Refactor calculation to ease proof
......................................................................

gma pipe setup: Refactor calculation to ease proof

Somehow GNATprove stumbles here when code changes elsewhere. Let's make
it focus on the linear-offset calculation.

Change-Id: Id5def319993b34144473984ca25c71d92c957180
Signed-off-by: Nico Huber 
---
M common/hw-gfx-gma-pipe_setup.adb
1 file changed, 10 insertions(+), 5 deletions(-)

git pull ssh://review.coreboot.org:29418/libgfxinit refs/changes/52/27152/4