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