Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kvm/mmu/mmu.c __rmap_clear_dirty() -> spte_ad_need_write_protect()

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

arch/x86/kvm/mmu/tdp_mmu.c clear_dirty_gfn_range() -> spte_ad_need_write_protect()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 &kvm->mmu_lock
LOCK2 rcu_read
HALF_LOCKED2 &kvm->lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 _T->lock
TYPE_LOCK (struct kvm)->mmu_lock

arch/x86/kvm/mmu/tdp_mmu.c clear_dirty_pt_masked() -> spte_ad_need_write_protect()

Type Parameter Key Value
LOCK2 &kvm->mmu_lock
LOCK2 rcu_read
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 &kvm->slots_lock
TYPE_LOCK (struct kvm)->mmu_lock
TYPE_LOCK (struct kvm)->slots_lock