Fix bug when printing UUID in verbose logging
Fix bug introduced in e4efcc3ffb47ed4d6104b264a11165db42cafcc9,
which causes verbose builds to fail.
Signed-off-by: Fuad Tabba <tabba@google.com>
Change-Id: I82d133bbd49ecb294c56f0b8d4a318450d88e671
diff --git a/src/manifest.c b/src/manifest.c
index 947b106..8b40795 100644
--- a/src/manifest.c
+++ b/src/manifest.c
@@ -320,8 +320,9 @@
vm->sp.uuid.uuid[i] = uuid_word;
i++;
}
- dlog_verbose(" SP UUID %#x-%x-%x_%x\n", vm->sp.uuid[0], vm->sp.uuid[1],
- vm->sp.uuid[2], vm->sp.uuid[3]);
+ dlog_verbose(" SP UUID %#x-%x-%x_%x\n", vm->sp.uuid.uuid[0],
+ vm->sp.uuid.uuid[1], vm->sp.uuid.uuid[2],
+ vm->sp.uuid.uuid[3]);
TRY(read_uint16(&root, "execution-ctx-count",
&vm->sp.execution_ctx_count));