[coreboot-gerrit] Patch merged into coreboot/master: 3ec9c95 Use 'pci_devfn_t' over 'device_t' mixed type in 'reset.c'

the following patch was just integrated into master:
commit 3ec9c95d02e8c67fb05ad580b5ca7a1fd14d2b02
Author: Edward O'Callaghan 
Date:   Sun Oct 26 10:36:02 2014 +1100

Use 'pci_devfn_t' over 'device_t' mixed type in 'reset.c'

Change-Id: I1a1412a1ee4125dcf1f01dc1f2ec6fd43b5d3c1f
    Signed-off-by: Edward O'Callaghan 
    Reviewed-on: http://review.coreboot.org/7196
    Tested-by: build bot (Jenkins)
    Reviewed-by: Nico Huber

See http://review.coreboot.org/7196 for details.

-gerrit