#include <stdio.h>#include <xenctrl.h>int main(int argc, char** argv){	int xc_handle = xc_interface_open();	xc_dominfo_t infos[32];	int i=1,n;	do	{		int j;		n = xc_domain_getinfo(xc_handle, i,32, infos);		for(j=0; j<n; j++)		{			printf("Domain %d, mem %lu kB\n",					(int)infos[j].domid,infos[j].nr_pages*4);		}		i+=n;	} while(n==32);	return 0;}