xenutil.h

系统迁移的源代码： http://www.diku.dk/hjemmesider/ansatte/jacobg/

static inline void purge_all_unpriv_domains(int xc)
{
	xc_dominfo_t infos[32];
	int i=1,n;

	do
	{
		int j;

		n = xc_domain_getinfo(xc, i,32, infos);

		for(j=0; j<n; j++)
		{
			xc_domain_destroy(xc, infos[j].domid );
		}

		i+=n;

	} while(n==32);
}