Patrick Rudolph has uploaded this change for review. ( 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 --- M src/device/device_util.c 1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://review.coreboot.org:29418/coreboot refs/changes/98/80098/1
diff --git a/src/device/device_util.c b/src/device/device_util.c index c17b4c5..c4aedcc 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: