[coreboot-gerrit] Change in coreboot[master]: device/device.c: Print bus numbers in decimal

[Patrick Georgi (Code Review)]

Patrick Georgi has submitted this change. ( https://review.coreboot.org/c/coreboot/+/54015 )

Change subject: device/device.c: Print bus numbers in decimal
......................................................................

device/device.c: Print bus numbers in decimal

For consistency with other log messages, print bus numbers in decimal.

Change-Id: Ib08ae40fc67c5f8fafd760e8dbb729d6de34c2bb
Signed-off-by: Angel Pons 
Reviewed-on: https://review.coreboot.org/c/coreboot/+/54015
Tested-by: build bot (Jenkins) 
Reviewed-by: Patrick Georgi 
---
M src/device/device.c
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  build bot (Jenkins): Verified
  Patrick Georgi: Looks good to me, approved

diff --git a/src/device/device.c b/src/device/device.c
index 5611022..bf97997 100644
--- a/src/device/device.c
+++ b/src/device/device.c
@@ -148,7 +148,7 @@
 {
    struct device *curdev;

-	printk(BIOS_SPEW, "%s %s bus %x link: %d\n", dev_path(bus->dev),
+	printk(BIOS_SPEW, "%s %s bus %d link: %d\n", dev_path(bus->dev),
           __func__, bus->secondary, bus->link_num);

/* Walk through all devices and find which resources they need. */