xenmem_reservation_va_mapping_update
xenmem_reservation_va_mapping_update(1, &page, &frame_list[i]);
xenmem_reservation_va_mapping_update(args->nr_pages, args->pages,