Change in coreboot[master]: src: Use pci_devfn_t instead of device_t - coreboot-gerrit

13 Jun 2018


      Elyes HAOUAS has abandoned this change. ( https://review.coreboot.org/27085 )
Change subject: src: Use pci_devfn_t instead of device_t
......................................................................
Abandoned
-- 
To view, visit https://review.coreboot.org/27085
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: I0ab62dd90a5ffdb504f5b9951877a32c345fc44d
Gerrit-Change-Number: 27085
Gerrit-PatchSet: 1
Gerrit-Owner: Elyes HAOUAS ehaouas@noos.fr
Gerrit-Reviewer: build bot (Jenkins) no-reply@coreboot.org