tree 9b8552aad49ed267cca4a352c7c19017d7a7d0fa
parent 312433cd3d90ebd5ee44bc1795b10e3846c1f96c
author Nico Huber <nico.h@gmx.de> 1569176717 +0200
committer Nico Huber <nico.h@gmx.de> 1570224886 +0000

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 <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/c/libgfxinit/+/35527
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>