Patrick Rudolph has uploaded this change for review.

View Change

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:

To view, visit change 80098. To unsubscribe, or for help writing mail filters, visit settings.