Open Menu /

Defined in 1 files as a macro:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

arch/x86/kvm/mmu/spte.c check_spte_writable_invariants() -> is_writable_pte()

Type Parameter Key Value
DATA_SOURCE 0 pte $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 pte 0-u64max[c][u]
HALF_LOCKED2 rcu_read

arch/x86/kvm/mmu/spte.c make_spte() -> is_writable_pte()

Type Parameter Key Value
DATA_SOURCE 0 pte $6
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &vcpu->kvm->mmu_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
HALF_LOCKED2 rcu_read

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

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

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

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

arch/x86/kvm/mmu/mmu.c check_spte_writable_invariants() -> is_writable_pte()

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

arch/x86/kvm/mmu/mmu.c fast_pf_fix_direct_spte() -> is_writable_pte()

Type Parameter Key Value
DATA_SOURCE 0 pte $4
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/mmu/mmu.c fast_pf_fix_direct_spte() -> is_writable_pte()

Type Parameter Key Value
DATA_SOURCE 0 pte $3
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

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

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

arch/x86/kvm/mmu/tdp_mmu.c check_spte_writable_invariants() -> is_writable_pte()

Type Parameter Key Value
DATA_SOURCE 0 pte $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 pte 0-u64max[c]
HALF_LOCKED2 &kvm->lock
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 &kvm->srcu
HALF_LOCKED2 rcu_read