[coreboot-gerrit] Change in libgfxinit[master]: gma config_helpers: Introduce Valid_FB()

[Nico Huber (Code Review)]

Hello Arthur Heymans, Matt DeVillier, Thomas Heijligen,

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

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

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

Change subject: gma config_helpers: Introduce Valid_FB()
......................................................................

gma config_helpers: Introduce Valid_FB()

Make the post condition of Validate_Config() a separate function,
Valid_FB(). This way, we don't have to repeat it everywhere.

Theoretically, we could make Validate_Config() an expression
function, too. Alas, all the added conditions seem to distract
provers too much.

Change-Id: I0931217658000d3ff6d71515acb45aeb063768d5
Signed-off-by: Nico Huber 
---
M common/hw-gfx-gma-config_helpers.ads
M common/hw-gfx-gma-pipe_setup.ads
2 files changed, 16 insertions(+), 16 deletions(-)

git pull ssh://review.coreboot.org:29418/libgfxinit refs/changes/27/35527/2