Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

arch/x86/kvm/mmu/spte.c spte_needs_atomic_update() -> is_mmu_writable_spte()

Type Parameter Key Value
DATA_SOURCE 0 spte $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

arch/x86/kvm/mmu/mmu.c fast_page_fault() -> is_mmu_writable_spte()

Type Parameter Key Value
PREEMPT_ADD
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/mmu/mmu.c leaf_spte_change_needs_tlb_flush() -> is_mmu_writable_spte()

Type Parameter Key Value
DATA_SOURCE 0 spte $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 spte 0-u64max[c]
HALF_LOCKED2 &vcpu->kvm->mmu_lock

arch/x86/kvm/mmu/mmu.c leaf_spte_change_needs_tlb_flush() -> is_mmu_writable_spte()

Type Parameter Key Value
DATA_SOURCE 0 spte $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 spte 0-u64max[c]
HALF_LOCKED2 &vcpu->kvm->mmu_lock

arch/x86/kvm/mmu/mmu.c spte_write_protect() -> is_mmu_writable_spte()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->mmu_lock

arch/x86/kvm/mmu/tdp_mmu.c leaf_spte_change_needs_tlb_flush() -> is_mmu_writable_spte()

Type Parameter Key Value
PARAM_VALUE 0 spte 0-9223372036854776223,9223372036854776225-u64max
DATA_SOURCE 0 spte $0
LOCK2 rcu_read
HALF_LOCKED2 &file->f_mapping->invalidate_lock
HALF_LOCKED2 &vcpu->kvm->mmu_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
HALF_LOCKED2 _T->lock

arch/x86/kvm/mmu/tdp_mmu.c leaf_spte_change_needs_tlb_flush() -> is_mmu_writable_spte()

Type Parameter Key Value
DATA_SOURCE 0 spte $1
USER_DATA 0 spte 0-u64max[c]
LOCK2 rcu_read
HALF_LOCKED2 &file->f_mapping->invalidate_lock
HALF_LOCKED2 &vcpu->kvm->mmu_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
HALF_LOCKED2 _T->lock