x86: Remove dead code from arch_get_info_guest().

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

diff --git a/xen/arch/x86/domctl.c b/xen/arch/x86/domctl.c
index fe90c09906773f5eae6906bb00a49ceb1bd1f16d..d79dc55059ebad050acab1e67c4e2f75042e63b2 100644 (file)
--- a/xen/arch/x86/domctl.c
+++ b/xen/arch/x86/domctl.c
@@ -800,24 +800,11 @@ void arch_get_info_guest(struct vcpu *v, vcpu_guest_context_u c)
 
     if ( is_hvm_vcpu(v) )
     {
-        if ( !is_pv_32on64_domain(v->domain) )
-        {
-            memset(c.nat->ctrlreg, 0, sizeof(c.nat->ctrlreg));
-            c.nat->ctrlreg[0] = v->arch.hvm_vcpu.guest_cr[0];
-            c.nat->ctrlreg[2] = v->arch.hvm_vcpu.guest_cr[2];
-            c.nat->ctrlreg[3] = v->arch.hvm_vcpu.guest_cr[3];
-            c.nat->ctrlreg[4] = v->arch.hvm_vcpu.guest_cr[4];
-        }
-#ifdef CONFIG_COMPAT
-        else
-        {
-            memset(c.cmp->ctrlreg, 0, sizeof(c.cmp->ctrlreg));
-            c.cmp->ctrlreg[0] = v->arch.hvm_vcpu.guest_cr[0];
-            c.cmp->ctrlreg[2] = v->arch.hvm_vcpu.guest_cr[2];
-            c.cmp->ctrlreg[3] = v->arch.hvm_vcpu.guest_cr[3];
-            c.cmp->ctrlreg[4] = v->arch.hvm_vcpu.guest_cr[4];
-        }
-#endif
+        memset(c.nat->ctrlreg, 0, sizeof(c.nat->ctrlreg));
+        c.nat->ctrlreg[0] = v->arch.hvm_vcpu.guest_cr[0];
+        c.nat->ctrlreg[2] = v->arch.hvm_vcpu.guest_cr[2];
+        c.nat->ctrlreg[3] = v->arch.hvm_vcpu.guest_cr[3];
+        c.nat->ctrlreg[4] = v->arch.hvm_vcpu.guest_cr[4];
     }
     else
     {