From e354a4b70dcf05fa9a0cff1d56c76413eef5f5e2 Mon Sep 17 00:00:00 2001 From: Angel Pons Date: Mon, 10 May 2021 12:06:45 +0200 Subject: [PATCH] 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 --- src/device/device.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/device/device.c b/src/device/device.c index 56110225fa..bf97997f55 100644 --- a/src/device/device.c +++ b/src/device/device.c @@ -148,7 +148,7 @@ static void read_resources(struct bus *bus) { 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. */