xen_unpopulated_pages
xen_unpopulated_pages += xen_extra_mem[i].n_pfns;
if (xen_unpopulated_pages >= get_num_physpages())
xen_unpopulated_pages;
unsigned long xen_unpopulated_pages __initdata;
extern unsigned long xen_unpopulated_pages;