tree 9795778221cdbc13faf2a13c45a365ea51fb4955
parent b3b9fa34bb99d33d0fc6a69c64966a71cebd5bd6
author Nico Huber <nico.h@gmx.de> 1529335155 +0200
committer Nico Huber <nico.h@gmx.de> 1560026479 +0000

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>
Reviewed-on: https://review.coreboot.org/c/libgfxinit/+/27152
Reviewed-by: Angel Pons <th3fanbus@gmail.com>