Nico Huber has posted comments on this change. ( https://review.coreboot.org/26845 )
Change subject: gma: Add contract to Enable_Output() to rely less on proof inlining
......................................................................
Patch Set 1: Verified+1
--
To view, visit
https://review.coreboot.org/26845
To unsubscribe, or for help writing mail filters, visit
https://review.coreboot.org/settings
Gerrit-Project: libgfxinit
Gerrit-Branch: master
Gerrit-MessageType: comment
Gerrit-Change-Id: I7bc066b33c969e528c7bcd9328178fac8a37ad21
Gerrit-Change-Number: 26845
Gerrit-PatchSet: 1
Gerrit-Owner: Nico Huber
nico.h@gmx.de
Gerrit-Reviewer: Nico Huber
nico.h@gmx.de
Gerrit-Comment-Date: Mon, 04 Jun 2018 22:57:12 +0000
Gerrit-HasComments: No
Gerrit-HasLabels: Yes