[coreboot-gerrit] Change in coreboot[master]: soc/intel/denverton_ns: Use pci_devfn_t instead of device_t

[Elyes HAOUAS (Code Review)]

Elyes HAOUAS has abandoned this change. ( https://review.coreboot.org/27008 )

Change subject: soc/intel/denverton_ns: Use pci_devfn_t instead of device_t
......................................................................


Abandoned
-- 
To view, visit https://review.coreboot.org/27008
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-MessageType: abandon
Gerrit-Change-Id: I340a5fa101c0fac93788bc6f5bc6ca1ae006e072
Gerrit-Change-Number: 27008
Gerrit-PatchSet: 3
Gerrit-Owner: Elyes HAOUAS <ehaouas at noos.fr>
Gerrit-Reviewer: build bot (Jenkins) <no-reply at coreboot.org>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.coreboot.org/pipermail/coreboot-gerrit/attachments/20180610/d47b85f5/attachment.html>