Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kvm/mmu/mmu.c __kvm_mmu_invalidate_addr() -> shadow_walk_next()

Type Parameter Key Value
PARAM_VALUE 0 iterator 3757999740854468608
PARAM_VALUE 0 iterator->level 1-s32max
PARAM_VALUE 0 iterator->shadow_addr 0-18446744073709551614
PARAM_VALUE 0 iterator->sptep 4096-ptr_max
NOCHECK_CALL
USER_DATA 0 iterator->addr 0-u64max
USER_DATA 0 iterator->index 0-511[c]
LOCK2 &vcpu->kvm->mmu_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
TYPE_LOCK (struct kvm)->mmu_lock

arch/x86/kvm/mmu/mmu.c direct_map() -> shadow_walk_next()

Type Parameter Key Value
PARAM_VALUE 0 iterator 8986629354233671680
PARAM_VALUE 0 iterator->level 1-s32max
PARAM_VALUE 0 iterator->sptep 4096-ptr_max
PREEMPT_ADD
NOCHECK_CALL
USER_DATA 0 iterator->addr 0-u64max
USER_DATA 0 iterator->index 0-511[c]
LOCK2 &vcpu->kvm->mmu_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
TYPE_LOCK (struct kvm)->mmu_lock

arch/x86/kvm/mmu/mmu.c ept_fetch() -> shadow_walk_next()

Type Parameter Key Value
PARAM_VALUE 0 iterator 8358896288040869888
PARAM_VALUE 0 iterator->level 1-s32max
PARAM_VALUE 0 iterator->sptep 4096-ptr_max
NOCHECK_CALL
USER_DATA 0 iterator->addr 0-u64max
USER_DATA 0 iterator->index 0-511[c]
LOCK2 &vcpu->kvm->mmu_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
TYPE_LOCK (struct kvm)->mmu_lock

arch/x86/kvm/mmu/mmu.c ept_fetch() -> shadow_walk_next()

Type Parameter Key Value
PARAM_VALUE 0 iterator 8358896288040869888
PARAM_VALUE 0 iterator->level 1-s32max
PARAM_VALUE 0 iterator->sptep 4096-ptr_max
NOCHECK_CALL
USER_DATA 0 iterator->addr 0-u64max
USER_DATA 0 iterator->index 0-511[c]
LOCK2 &vcpu->kvm->mmu_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
TYPE_LOCK (struct kvm)->mmu_lock

arch/x86/kvm/mmu/mmu.c paging32_fetch() -> shadow_walk_next()

Type Parameter Key Value
PARAM_VALUE 0 iterator 1392350694155784192
PARAM_VALUE 0 iterator->level 1-s32max
PARAM_VALUE 0 iterator->sptep 4096-ptr_max
NOCHECK_CALL
USER_DATA 0 iterator->addr 0-u64max
USER_DATA 0 iterator->index 0-511[c]
LOCK2 &vcpu->kvm->mmu_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
TYPE_LOCK (struct kvm)->mmu_lock

arch/x86/kvm/mmu/mmu.c paging32_fetch() -> shadow_walk_next()

Type Parameter Key Value
PARAM_VALUE 0 iterator 1392350694155784192
PARAM_VALUE 0 iterator->level 1-s32max
PARAM_VALUE 0 iterator->sptep 4096-ptr_max
NOCHECK_CALL
USER_DATA 0 iterator->addr 0-u64max
USER_DATA 0 iterator->index 0-511[c]
LOCK2 &vcpu->kvm->mmu_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
TYPE_LOCK (struct kvm)->mmu_lock

arch/x86/kvm/mmu/mmu.c paging64_fetch() -> shadow_walk_next()

Type Parameter Key Value
PARAM_VALUE 0 iterator 8424765089302343680
PARAM_VALUE 0 iterator->level 1-s32max
PARAM_VALUE 0 iterator->sptep 4096-ptr_max
NOCHECK_CALL
USER_DATA 0 iterator->addr 0-u64max
USER_DATA 0 iterator->index 0-511[c]
LOCK2 &vcpu->kvm->mmu_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
TYPE_LOCK (struct kvm)->mmu_lock

arch/x86/kvm/mmu/mmu.c paging64_fetch() -> shadow_walk_next()

Type Parameter Key Value
PARAM_VALUE 0 iterator 8424765089302343680
PARAM_VALUE 0 iterator->level 1-s32max
PARAM_VALUE 0 iterator->sptep 4096-ptr_max
NOCHECK_CALL
USER_DATA 0 iterator->addr 0-u64max
USER_DATA 0 iterator->index 0-511[c]
LOCK2 &vcpu->kvm->mmu_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
TYPE_LOCK (struct kvm)->mmu_lock