diff --git a/xen/common/domain.c b/xen/common/domain.c
index 336e9eacfc..6c53046855 100644
--- a/xen/common/domain.c
+++ b/xen/common/domain.c
@@ -831,6 +831,7 @@ static void complete_domain_destroy(struct rcu_head *head)
 
     xsm_free_security_domain(d);
     free_cpumask_var(d->domain_dirty_cpumask);
+    xfree(d->vcpu);
     free_domain_struct(d);
 
     send_global_virq(VIRQ_DOM_EXC);