diff options
author | Patrick Rudolph <patrick.rudolph@9elements.com> | 2024-01-19 20:04:31 +0100 |
---|---|---|
committer | Patrick Rudolph <patrick.rudolph@9elements.com> | 2024-01-22 15:02:23 +0000 |
commit | db7798023c7691fd9602ed96d801f1246e3efd53 (patch) | |
tree | 77cd9c45f3474c48c8f4bf5cac9f580c73a89324 /src/device | |
parent | f5bc43f13e4f8025e0d1cd1f701ddc6315b6c6cd (diff) |
device/device_util: Print full domain ID
Print the whole 32bit of the domain ID.
Change-Id: Iae0752f3ae8ed683d4f61c7a47d0dee223a1ba22
Signed-off-by: Patrick Rudolph <patrick.rudolph@9elements.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/80098
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 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/device/device_util.c b/src/device/device_util.c index 42dc89a92e..edf053d0dd 100644 --- a/src/device/device_util.c +++ b/src/device/device_util.c @@ -192,7 +192,7 @@ const char *dev_path(const struct device *dev) dev->path.ioapic.ioapic_id); break; case DEVICE_PATH_DOMAIN: - snprintf(buffer, sizeof(buffer), "DOMAIN: %04x", + snprintf(buffer, sizeof(buffer), "DOMAIN: %08x", dev->path.domain.domain); break; case DEVICE_PATH_CPU_CLUSTER: |