revmap_for_hpte
rmap = revmap_for_hpte(kvm, hpte_v, ptel, &memslot, &gfn);
rmap = revmap_for_hpte(kvm, v, gr, NULL, NULL);