Nico Huber uploaded patch set #4 to this change.
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
To view, visit change 27152. To unsubscribe, or for help writing mail filters, visit settings.