hva_to_pfn
return hva_to_pfn(kfp);
kvm_pfn_t hva_to_pfn(struct kvm_follow_pfn *kfp);
new_pfn = hva_to_pfn(&kfp);