[coreboot-gerrit] Change in coreboot[master]: src/drivers/{net, usb}: Use pci_devfn_t instead of device_t

[build bot (Jenkins) (Code Review)]

build bot (Jenkins) has posted comments on this change. ( https://review.coreboot.org/26993 )

Change subject: src/drivers/{net,usb}: Use pci_devfn_t instead of device_t
......................................................................


Patch Set 1: Verified-1

Build Failed 

https://qa.coreboot.org/job/coreboot-gerrit/74701/ : ABORTED

https://qa.coreboot.org/job/coreboot-checkpatch/28809/ : SUCCESS


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

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-MessageType: comment
Gerrit-Change-Id: I9091cf92b98409603dadfeb1e1ad274ca73f1ae9
Gerrit-Change-Number: 26993
Gerrit-PatchSet: 1
Gerrit-Owner: Elyes HAOUAS <ehaouas at noos.fr>
Gerrit-Reviewer: build bot (Jenkins) <no-reply at coreboot.org>
Gerrit-Comment-Date: Sat, 09 Jun 2018 18:40:50 +0000
Gerrit-HasComments: No
Gerrit-HasLabels: Yes
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.coreboot.org/pipermail/coreboot-gerrit/attachments/20180609/570174fb/attachment.html>