diff --git a/src/arch/i386/lib/pci_ops.c b/src/arch/i386/lib/pci_ops.c
index 6924efdc0c..c3478ffa96 100644
--- a/src/arch/i386/lib/pci_ops.c
+++ b/src/arch/i386/lib/pci_ops.c
@@ -240,7 +240,7 @@ uint32_t pci_read_config32(device_t dev, unsigned where)
 	uint32_t value;
 	value = conf->read32(dev->bus->secondary, dev->devfn, where);
 	printk_spew( "Read config 32 bus %d,devfn 0x%x,reg 0x%x,val 0x%x\n",
-		     dev->bus->secondary, dev->devfn, where, *val);
+		     dev->bus->secondary, dev->devfn, where, value);
 	return value;
 }