Fix VS2013 SDV failure

Signed-off-by: Paul Durrant <paul.durrant@citrix.com>

diff --git a/src/xenbus/shared_info.c b/src/xenbus/shared_info.c
index 1b71ba180cbd85154f67fdf5c992f1f8f9350ce0..1279ac4f37d03ae232a3882accbe5da5cf0f40e4 100644 (file)
--- a/src/xenbus/shared_info.c
+++ b/src/xenbus/shared_info.c
@@ -470,8 +470,11 @@ SharedInfoDebugCallback(
              Index++) {
             PROCESSOR_NUMBER    ProcNumber;
             int                 vcpu_id;
+            NTSTATUS            status;
+
+            status = KeGetProcessorNumberFromIndex(Index, &ProcNumber);
+            ASSERT(NT_SUCCESS(status));
 
-            (VOID) KeGetProcessorNumberFromIndex(Index, &ProcNumber);
             vcpu_id = SystemVirtualCpuIndex(Index);
 
             XENBUS_DEBUG(Printf,