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