xen_add_extra_mem
xen_add_extra_mem(PFN_UP(e->addr), pages);
xen_add_extra_mem(start_pfn + n_pfns, start_r + size_r -
xen_add_extra_mem(pfn_s, n_pfns);
void xen_add_extra_mem(unsigned long start_pfn, unsigned long n_pfns);