migrate_device_finalize
migrate_device_finalize(src, dst, npages);
migrate_device_finalize(src_pfns, dst_pfns, npages);
void migrate_device_finalize(unsigned long *src_pfns,
migrate_device_finalize(src_pfns, dst_pfns, npages);
EXPORT_SYMBOL(migrate_device_finalize);
migrate_device_finalize(&src_pfn, &dst_pfn, 1);