Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
arch/x86/kvm/mmu/mmu.c fast_pf_get_last_sptep() -> __shadow_walk_next()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iterator | 8257592175699505152 |
| PARAM_VALUE | 0 | iterator->level | 1-15 |
| DATA_SOURCE | 1 | spte | r mmu_spte_get_lockless |
| NOCHECK_CALL | |||
| USER_DATA | 0 | iterator->addr | 0-u64max |
| USER_DATA | 0 | iterator->index | 0-511[c] |
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/mmu/mmu.c get_walk() -> __shadow_walk_next()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iterator | 5456549262726946816 |
| PARAM_VALUE | 0 | iterator->level | 1-15 |
| DATA_SOURCE | 1 | spte | r mmu_spte_get_lockless |
| NOCHECK_CALL | |||
| USER_DATA | 0 | iterator->addr | 0-u64max |
| USER_DATA | 0 | iterator->index | 0-511[c] |
arch/x86/kvm/mmu/mmu.c shadow_page_table_clear_flood() -> __shadow_walk_next()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iterator | 3146441559802687488 |
| PARAM_VALUE | 0 | iterator->level | 1-15 |
| DATA_SOURCE | 1 | spte | r mmu_spte_get_lockless |
| NOCHECK_CALL | |||
| USER_DATA | 0 | iterator->addr | 0-u64max |
| USER_DATA | 0 | iterator->index | 0-511[c] |
| HALF_LOCKED2 | &vcpu->kvm->srcu | ||
| HALF_LOCKED2 | &vcpu->mutex |
arch/x86/kvm/mmu/mmu.c shadow_walk_next() -> __shadow_walk_next()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | iterator | 1392350694155784192,3757999740854468608,8358896288040869888,8424765089302343680,8986629354233671680 |
| PARAM_VALUE | 0 | iterator->level | 1-s32max |
| DATA_SOURCE | 0 | iterator | $0 |
| 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 |