Patrick Rudolph has submitted this change. ( https://review.coreboot.org/c/coreboot/+/80098?usp=email )
Change subject: device/device_util: Print full domain ID ......................................................................
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 --- M src/device/device_util.c 1 file changed, 1 insertion(+), 1 deletion(-)
Approvals: Arthur Heymans: Looks good to me, approved build bot (Jenkins): Verified
diff --git a/src/device/device_util.c b/src/device/device_util.c index 42dc89a..edf053d 100644 --- a/src/device/device_util.c +++ b/src/device/device_util.c @@ -192,7 +192,7 @@ 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: