xen_released_pages   57 arch/arm/xen/enlighten.c unsigned long xen_released_pages;
xen_released_pages   43 arch/x86/xen/setup.c unsigned long xen_released_pages;
xen_released_pages  275 arch/x86/xen/setup.c 			xen_released_pages++;
xen_released_pages  918 arch/x86/xen/setup.c 	pr_info("Released %ld page(s)\n", xen_released_pages);
xen_released_pages  698 drivers/xen/balloon.c 		? min(xen_start_info->nr_pages - xen_released_pages, max_pfn)
xen_released_pages   47 include/xen/page.h extern unsigned long xen_released_pages;