diff --git a/xen/arch/ia64/vmx/vmx_init.c b/xen/arch/ia64/vmx/vmx_init.c
index ff5c5cd5d3..3d3a36a170 100644
--- a/xen/arch/ia64/vmx/vmx_init.c
+++ b/xen/arch/ia64/vmx/vmx_init.c
@@ -283,9 +283,13 @@ static void vmx_create_event_channels(struct vcpu *v)
 	}
 }
 
+/*
+ * Event channel has destoryed in domain_kill(), so we needn't
+ * do anything here
+ */
 static void vmx_release_assist_channel(struct vcpu *v)
 {
-	free_xen_event_channel(v, v->arch.arch_vmx.xen_port);
+	return;
 }
 
 /*