diff options
| author | Gang Chen <gang.c.chen@intel.com> | 2022-07-02 01:24:09 +0800 |
|---|---|---|
| committer | Felix Held <felix-coreboot@felixheld.de> | 2022-08-03 21:17:00 +0000 |
| commit | cfb90fd204ac616cf55a0c28272b65c118b3f09f (patch) | |
| tree | 4ef50d6242f1193f01e5ceefa86b3b25d45ca6d4 /src/device | |
| parent | ee443c8d3e7cf6edbc20c6a2322df31001ff84c7 (diff) | |
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 <gang.c.chen@intel.com>
Change-Id: I0ec4c47cca4a09ceb7dc929efaa5630b1f9df81c
Reviewed-on: https://review.coreboot.org/c/coreboot/+/66324
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
Diffstat (limited to 'src/device')
| -rw-r--r-- | src/device/device_util.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/device/device_util.c b/src/device/device_util.c index 7e31b43495..80f82fd03d 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); |