From: Paul Durrant <paul.durrant@citrix.com>
Date: Fri, 20 Mar 2015 11:21:13 +0000 (+0000)
Subject: Fix VS2013 SDV failure
X-Git-Tag: 8.1.0-rc1~38
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=767d1c17981dfe4f14b064db4d2b095cb35e9fc6;p=pvdrivers%2Fwin%2Fxenbus.git

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 1b71ba1..1279ac4 100644
--- 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,