x86: Fix non-debug build.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/xen/arch/x86/hvm/viridian.c b/xen/arch/x86/hvm/viridian.c
index ca3dd1378c4c62afd90c75da876c3b885c3d6716..b6389e6c47d998a6d720df22e17de21c75c66c99 100644 (file)
--- a/xen/arch/x86/hvm/viridian.c
+++ b/xen/arch/x86/hvm/viridian.c
@@ -244,7 +244,6 @@ int rdmsr_viridian_regs(uint32_t idx, uint32_t *eax, uint32_t *edx)
 
 int viridian_hypercall(struct cpu_user_regs *regs)
 {
-    struct domain *d = current->domain;
     int mode = hvm_guest_x86_mode(current);
     unsigned long input_params_gpa, output_params_gpa;
     uint16_t status = HV_STATUS_SUCCESS;
@@ -271,7 +270,7 @@ int viridian_hypercall(struct cpu_user_regs *regs)
         };
     } output = { 0 };
 
-    ASSERT(is_viridian_domain(d));
+    ASSERT(is_viridian_domain(current->domain));
 
     switch ( mode )
     {