tree 895232e2b13e52bc62eed99a3d2aacff96e1a7a0
parent b679013ce61fcfae5e33375cc71a757bfa73eb95
author Nico Huber <nico.huber@secunet.com> 1528116133 +0200
committer Nico Huber <nico.h@gmx.de> 1528469049 +0000

gma broxton: Tighten types to rely less on proof inlining

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