Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

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

Type Parameter Key Value
BIT_INFO 0 spte 0x800,0xffffffffffffffff
BIT_INFO 0 spte 0x800,0xffffffffffffffff
RX_PATH
USER_DATA 0 spte 0-u64max[c][u]
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 modify_spte_protections() -> mark_spte_for_access_track()

Type Parameter Key Value
CAPPED_DATA 0 spte 1
CAPPED_DATA 0 spte 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->lock
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 rcu_read

arch/x86/kvm/mmu/mmu.c kvm_rmap_age_gfn_range() -> mark_spte_for_access_track()

Type Parameter Key Value
DATA_SOURCE 0 spte r mmu_spte_get_lockless
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
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_age_spte() -> mark_spte_for_access_track()

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