From cfb90fd204ac616cf55a0c28272b65c118b3f09f Mon Sep 17 00:00:00 2001 From: Gang Chen Date: Sat, 2 Jul 2022 01:24:09 +0800 Subject: device: Fix 64Bit Device Resource Info Print Use 0x016llx to print device resource info so that both 64bit and 32bit resources could be displayed correctly. Signed-off-by: Gang Chen Change-Id: I0ec4c47cca4a09ceb7dc929efaa5630b1f9df81c Reviewed-on: https://review.coreboot.org/c/coreboot/+/66324 Tested-by: build bot (Jenkins) Reviewed-by: Arthur Heymans --- src/device/device_util.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/device/device_util.c b/src/device/device_util.c index 7e31b43495c2..80f82fd03dbb 100644 --- a/src/device/device_util.c +++ b/src/device/device_util.c @@ -522,7 +522,7 @@ void report_resource_stored(struct device *dev, const struct resource *resource, snprintf(buf, sizeof(buf), "bus %02x ", dev->link_list->secondary); } - printk(BIOS_DEBUG, "%s %02lx <- [0x%010llx - 0x%010llx] size 0x%08llx " + printk(BIOS_DEBUG, "%s %02lx <- [0x%016llx - 0x%016llx] size 0x%08llx " "gran 0x%02x %s%s%s\n", dev_path(dev), resource->index, base, end, resource->size, resource->gran, buf, resource_type(resource), comment); @@ -800,7 +800,7 @@ void show_one_resource(int debug_level, struct device *dev, end = resource_end(resource); buf[0] = '\0'; - printk(debug_level, "%s %02lx <- [0x%010llx - 0x%010llx] " + printk(debug_level, "%s %02lx <- [0x%016llx - 0x%016llx] " "size 0x%08llx gran 0x%02x %s%s%s\n", dev_path(dev), resource->index, base, end, resource->size, resource->gran, buf, resource_type(resource), comment); -- cgit v1.2.3