migrate_device_pfns
err = migrate_device_pfns(src, npages);
int migrate_device_pfns(unsigned long *src_pfns, unsigned long npages);
EXPORT_SYMBOL(migrate_device_pfns);