kvm_rmap_get
KVM_MMU_WARN_ON(old_val != kvm_rmap_get(rmap_head));
unsigned long rmap_val = kvm_rmap_get(rmap_head);