GNUBoot
/
coreboot-kgpe-d16
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

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>
This commit is contained in:
Patrick Rudolph 2024-01-19 20:04:31 +01:00
parent f5bc43f13e
commit db7798023c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/device/device_util.c
View File

@ -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: