xenmem_reservation_va_mapping_reset
xenmem_reservation_va_mapping_reset(1, &page);
xenmem_reservation_va_mapping_reset(args->nr_pages, args->pages);