diff --git a/xen/common/domain.c b/xen/common/domain.c
index b6601a3966..19e8470bc6 100644
--- a/xen/common/domain.c
+++ b/xen/common/domain.c
@@ -744,6 +744,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);