[coreboot-gerrit] New patch to review for coreboot: southbridge/intel/i82801dx: transition away from device_t

[Antonello Dettori (dev@dettori.io)]

Antonello Dettori (dev at dettori.io) just uploaded a new patch set to gerrit, which you can find at https://review.coreboot.org/17297

-gerrit

commit b53634c9565e3a131e5ae87b05d383574f035dc7
Author: Antonello Dettori <dev at dettori.io>
Date:   Tue Nov 8 18:44:46 2016 +0100

    southbridge/intel/i82801dx: transition away from device_t
    
    Replace the use of the old device_t definition inside
    southbridge/intel/i82801dx.
    
    Change-Id: I32888930d3742432a73dfc0a32c6586186e6757c
    Signed-off-by: Antonello Dettori <dev at dettori.io>
---
 src/southbridge/intel/i82801dx/tco_timer.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/southbridge/intel/i82801dx/tco_timer.c b/src/southbridge/intel/i82801dx/tco_timer.c
index 2d5155d..e773fa4 100644
--- a/src/southbridge/intel/i82801dx/tco_timer.c
+++ b/src/southbridge/intel/i82801dx/tco_timer.c
@@ -17,7 +17,7 @@
 static void i82801dx_halt_tco_timer(void)
 {
 	/* Set the LPC device statically. */
-	device_t dev = PCI_DEV(0x0, 0x1f, 0x0);
+	pci_devfn_t dev = PCI_DEV(0x0, 0x1f, 0x0);
 
 	/* Temporarily set ACPI base address (I/O space). */
 	pci_write_config32(dev, PMBASE, (PMBASE_ADDR | 1));