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 nico.h@gmx.de --- 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