Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/mmu/mmu.c __rmap_clear_dirty() -> rmap_get_next()

Type Parameter Key Value
PARAM_VALUE 0 iter 7210769205760143360
PARAM_VALUE 0 iter->desc 0,4096-ptr_max
PARAM_VALUE 0 iter->pos s32min-13
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 &kvm->slots_lock

arch/x86/kvm/mmu/mmu.c kvm_mmu_mark_parents_unsync() -> rmap_get_next()

Type Parameter Key Value
PARAM_VALUE 0 iter 9113397610356424704
PARAM_VALUE 0 iter->desc 0,4096-ptr_max
PARAM_VALUE 0 iter->pos s32min-13
RX_PATH
TASK_NOT_RUNNING

arch/x86/kvm/mmu/mmu.c kvm_mmu_zap_collapsible_spte() -> rmap_get_next()

Type Parameter Key Value
PARAM_VALUE 0 iter 7263483286215155712
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->arch.apic_map_lock
HALF_LOCKED2 &kvm->arch.apicv_update_lock
HALF_LOCKED2 &kvm->lock
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 &kvm->srcu

arch/x86/kvm/mmu/mmu.c kvm_rmap_age_gfn_range() -> rmap_get_next()

Type Parameter Key Value
PARAM_VALUE 0 iter 2891166458325778432
PARAM_VALUE 0 iter->desc 0,4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 &kvm->srcu
HALF_LOCKED2 global &srcu

arch/x86/kvm/mmu/mmu.c rmap_write_protect() -> rmap_get_next()

Type Parameter Key Value
PARAM_VALUE 0 iter 241316792084443136
PARAM_VALUE 0 iter->desc 0,4096-ptr_max
PARAM_VALUE 0 iter->pos s32min-13
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->mmu_lock

arch/x86/kvm/mmu/mmu.c shadow_mmu_try_split_huge_pages() -> rmap_get_next()

Type Parameter Key Value
PARAM_VALUE 0 iter 8636924648178876416
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->arch.apic_map_lock
HALF_LOCKED2 &kvm->arch.apicv_update_lock
HALF_LOCKED2 &kvm->lock
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 &kvm->srcu