tree 4433346d760d7d37f1f5f303e387c4ceb3c80c65
parent b393fa09e565af929474c442a62589ad1d73acbf
author Edward O'Callaghan <eocallaghan@alterapraxis.com> 1403264979 +1000
committer Patrick Georgi <patrick@georgi-clan.de> 1403688743 +0200

device/{cardbus,agp}.h: Missing header for device_t type

Missing header for the ramstage version of device_t which is a struct
ptr.

Change-Id: Ie2a30b75ee1d0513397276b81e8df1d995707f6f
Signed-off-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>
Reviewed-on: http://review.coreboot.org/6080
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <patrick@georgi-clan.de>