real_vmalloc_addr
rev = real_vmalloc_addr(&kvm->arch.hpt.rev[index]);
rmap = real_vmalloc_addr(&memslot->arch.rmap[gfn - memslot->base_gfn]);
next = real_vmalloc_addr(&kvm->arch.hpt.rev[rev->forw]);
prev = real_vmalloc_addr(&kvm->arch.hpt.rev[rev->back]);
rev = real_vmalloc_addr(rev);
rmap = real_vmalloc_addr(rmap);
rev = real_vmalloc_addr(&kvm->arch.hpt.rev[pte_index]);
rev = real_vmalloc_addr(&kvm->arch.hpt.rev[pte_index]);
rev = real_vmalloc_addr(&kvm->arch.hpt.rev[pte_index]);
rev = real_vmalloc_addr(&kvm->arch.hpt.rev[pte_index]);
head = real_vmalloc_addr(head);
rev = real_vmalloc_addr(&kvm->arch.hpt.rev[pte_index]);
tail = real_vmalloc_addr(tail);
rev = real_vmalloc_addr(&kvm->arch.hpt.rev[pte_index]);