x86: call unmap_vcpu_info() regardless of guest type

This fixes a regression from 63753b3e ("x86: allow
VCPUOP_register_vcpu_info to work again on PVHVM guests").

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Tested-by: Sander Eikelenboom <linux@eikelenboom.it>

diff --git a/xen/arch/x86/domain.c b/xen/arch/x86/domain.c
index 14b6d13d882f0a0dcf6f40a89ccfc94240a967e1..3e09f582799bc66713e36f573124ee4ef1e90a74 100644 (file)
--- a/xen/arch/x86/domain.c
+++ b/xen/arch/x86/domain.c
@@ -2013,8 +2013,12 @@ int domain_relinquish_resources(struct domain *d)
 
         /* Drop the in-use references to page-table bases. */
         for_each_vcpu ( d, v )
+        {
             vcpu_destroy_pagetables(v);
 
+            unmap_vcpu_info(v);
+        }
+
         if ( !is_hvm_domain(d) )
         {
             for_each_vcpu ( d, v )
@@ -2025,8 +2029,6 @@ int domain_relinquish_resources(struct domain *d)
                  * mappings.
                  */
                 destroy_gdt(v);
-
-                unmap_vcpu_info(v);
             }
 
             if ( d->arch.pv_domain.pirq_eoi_map != NULL )