Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/mmu/tdp_mmu.c kvm_tdp_mmu_age_spte() -> is_mirror_sptep()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 &kvm->srcu
HALF_LOCKED2 global &srcu

arch/x86/kvm/mmu/tdp_mmu.c kvm_tdp_mmu_map() -> is_mirror_sptep()

Type Parameter Key Value
CAPPED_DATA 0 sptep 1
PREEMPT_ADD
LOCK2 rcu_read
HALF_LOCKED2 &file->f_mapping->invalidate_lock
HALF_LOCKED2 &vcpu->kvm->mmu_lock
HALF_LOCKED2 _T->lock

arch/x86/kvm/mmu/tdp_mmu.c tdp_mmu_set_spte_atomic() -> is_mirror_sptep()

Type Parameter Key Value
PARAM_COMPARE 0 sptep == $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 &kvm->srcu

arch/x86/kvm/mmu/tdp_mmu.c tdp_mmu_set_spte_atomic() -> is_mirror_sptep()

Type Parameter Key Value
PARAM_VALUE 0 sptep 4096-ptr_max
PARAM_COMPARE 0 sptep == $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 &kvm->srcu