migrate_device_pfn_lock
src_pfns[i] = migrate_device_pfn_lock(pfn);
src_pfns[i] = migrate_device_pfn_lock(src_pfns[i]);