tree db78c0eb2aff03a8dd9abe9c5626b13a39858812
parent 63ec8364dc2af8806ac1f52d806a2360128eb07e
author Nico Huber <nico.h@gmx.de> 1528583546 +0200
committer Nico Huber <nico.h@gmx.de> 1557318730 +0000

gma pipe setup: Drop explicit Global and Depends contracts

These were originally only added to prevent proof inlining and
are not needed any more.

Change-Id: Ia75c78a7030960a56e9cb469601b24c677732875
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/c/libgfxinit/+/27064
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>