tree af4dbdf45b42f075312f778a662b8b212d6d69a4
parent 5a3191f6ef7a01b7a73442b4b6940fd7cf033fba
author Nico Huber <nico.huber@secunet.com> 1528116133 +0200
committer Nico Huber <nico.h@gmx.de> 1528880293 +0000

gma: Add contract to Enable_Output() to rely less on proof inlining

Change-Id: I7bc066b33c969e528c7bcd9328178fac8a37ad21
Signed-off-by: Nico Huber <nico.huber@secunet.com>
Reviewed-on: https://review.coreboot.org/26845
Tested-by: Nico Huber <nico.h@gmx.de>
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>