ia64/xen-unstable

changeset 15558:f536eb8576ee

[IA64] Fix VTi domain shutdown

Event channel destruction is now done earlier, this patch does
the corresponding modification in IA64 side. It fixes dom0 crash
when VTI destroyed.

Signed-off-by: Zhang Xin <xing.z.zhang@intel.com>
author Alex Williamson <alex.williamson@hp.com>
date Wed Jul 11 11:32:30 2007 -0600 (2007-07-11)
parents a36c51f43fdb
children 2796311c6a55 d0477293897c
files xen/arch/ia64/vmx/vmx_init.c
line diff
     1.1 --- a/xen/arch/ia64/vmx/vmx_init.c	Tue Jul 10 11:15:54 2007 -0600
     1.2 +++ b/xen/arch/ia64/vmx/vmx_init.c	Wed Jul 11 11:32:30 2007 -0600
     1.3 @@ -283,9 +283,13 @@ static void vmx_create_event_channels(st
     1.4  	}
     1.5  }
     1.6  
     1.7 +/*
     1.8 + * Event channel has destoryed in domain_kill(), so we needn't
     1.9 + * do anything here
    1.10 + */
    1.11  static void vmx_release_assist_channel(struct vcpu *v)
    1.12  {
    1.13 -	free_xen_event_channel(v, v->arch.arch_vmx.xen_port);
    1.14 +	return;
    1.15  }
    1.16  
    1.17  /*