xenmem_reservation_increase
rc = xenmem_reservation_increase(nr_pages, frame_list);
ret = xenmem_reservation_increase(args->nr_pages, args->frames);
EXPORT_SYMBOL_GPL(xenmem_reservation_increase);
int xenmem_reservation_increase(int count, xen_pfn_t *frames);