Fix typo in SharedInfoDebugCallback()

A missing '%' in a format specifier means we don't get the correct information
for the per-vcpu selector masks in the debug output.

Signed-off-by: Paul Durrant <pdurrant@amazon.com>

diff --git a/src/xenbus/shared_info.c b/src/xenbus/shared_info.c
index a95318cd0a7f0c56cd3bd3b4a088648a79eddcaa..aa97255cce953ec09a95e7f80945a1f86eecc694 100644 (file)
--- a/src/xenbus/shared_info.c
+++ b/src/xenbus/shared_info.c
@@ -512,7 +512,7 @@ SharedInfoDebugCallback(
 
             XENBUS_DEBUG(Printf,
                          &Context->DebugInterface,
-                         "CPU %u:u: SELECTOR MASK: %p\n",
+                         "CPU %u:%u: SELECTOR MASK: %p\n",
                          ProcNumber.Group,
                          ProcNumber.Number,
                          (PVOID)Shared->vcpu_info[vcpu_id].evtchn_pending_sel);