Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

arch/x86/kvm/mmu/tdp_iter.c spte_to_child_pt() -> is_shadow_present_pte()

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

arch/x86/kvm/mmu/spte.c make_huge_spte() -> is_shadow_present_pte()

Type Parameter Key Value
DATA_SOURCE 0 pte $1
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/spte.c make_small_spte() -> is_shadow_present_pte()

Type Parameter Key Value
DATA_SOURCE 0 pte $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/spte.c spte_ad_enabled() -> is_shadow_present_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]

arch/x86/kvm/mmu/mmu.c __direct_pte_prefetch() -> is_shadow_present_pte()

Type Parameter Key Value
LOCK2 &vcpu->kvm->mmu_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
TYPE_LOCK (struct kvm)->mmu_lock

arch/x86/kvm/mmu/mmu.c __link_shadow_page() -> is_shadow_present_pte()

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

arch/x86/kvm/mmu/mmu.c __mmu_unsync_walk() -> is_shadow_present_pte()

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

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

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

arch/x86/kvm/mmu/mmu.c __shadow_walk_next() -> is_shadow_present_pte()

Type Parameter Key Value
DATA_SOURCE 0 pte $1
HALF_LOCKED2 &vcpu->kvm->mmu_lock

arch/x86/kvm/mmu/mmu.c disallowed_hugepage_adjust() -> is_shadow_present_pte()

Type Parameter Key Value
DATA_SOURCE 0 pte $1
HALF_LOCKED2 &vcpu->kvm->mmu_lock
HALF_LOCKED2 rcu_read

arch/x86/kvm/mmu/mmu.c drop_spte() -> is_shadow_present_pte()

Type Parameter Key Value
DATA_SOURCE 0 pte r mmu_spte_clear_track_bits
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 &kvm->srcu

arch/x86/kvm/mmu/mmu.c ept_pte_prefetch() -> is_shadow_present_pte()

Type Parameter Key Value
LOCK2 &vcpu->kvm->mmu_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
TYPE_LOCK (struct kvm)->mmu_lock

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

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

arch/x86/kvm/mmu/mmu.c get_mmio_spte() -> is_shadow_present_pte()

Type Parameter Key Value

arch/x86/kvm/mmu/mmu.c kvm_mmu_check_sptes_at_free() -> is_shadow_present_pte()

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

arch/x86/kvm/mmu/mmu.c kvm_mmu_get_child_sp() -> is_shadow_present_pte()

Type Parameter Key Value
LOCK2 &vcpu->kvm->mmu_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
TYPE_LOCK (struct kvm)->mmu_lock

arch/x86/kvm/mmu/mmu.c kvm_mmu_mark_parents_unsync() -> is_shadow_present_pte()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

arch/x86/kvm/mmu/mmu.c kvm_mmu_track_write() -> is_shadow_present_pte()

Type Parameter Key Value
LOCK2 &vcpu->kvm->mmu_lock
TYPE_LOCK (struct kvm)->mmu_lock

arch/x86/kvm/mmu/mmu.c kvm_mmu_zap_collapsible_spte() -> is_shadow_present_pte()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->arch.apic_map_lock
HALF_LOCKED2 &kvm->arch.apicv_update_lock
HALF_LOCKED2 &kvm->lock
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 &kvm->srcu

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

Type Parameter Key Value
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/mmu.c mmu_page_zap_pte() -> is_shadow_present_pte()

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

arch/x86/kvm/mmu/mmu.c mmu_set_spte() -> is_shadow_present_pte()

Type Parameter Key Value
LOCK2 &vcpu->kvm->mmu_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
TYPE_LOCK (struct kvm)->mmu_lock

arch/x86/kvm/mmu/mmu.c mmu_spte_clear_track_bits() -> is_shadow_present_pte()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->arch.apic_map_lock
HALF_LOCKED2 &kvm->arch.apicv_update_lock
HALF_LOCKED2 &kvm->lock
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 &kvm->srcu

arch/x86/kvm/mmu/mmu.c mmu_spte_clear_track_bits() -> is_shadow_present_pte()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->arch.apic_map_lock
HALF_LOCKED2 &kvm->arch.apicv_update_lock
HALF_LOCKED2 &kvm->lock
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 &kvm->srcu

arch/x86/kvm/mmu/mmu.c mmu_spte_set() -> is_shadow_present_pte()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING

arch/x86/kvm/mmu/mmu.c mmu_spte_update() -> is_shadow_present_pte()

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

arch/x86/kvm/mmu/mmu.c mmu_spte_update() -> is_shadow_present_pte()

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

arch/x86/kvm/mmu/mmu.c mmu_spte_update() -> is_shadow_present_pte()

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

arch/x86/kvm/mmu/mmu.c paging32_pte_prefetch() -> is_shadow_present_pte()

Type Parameter Key Value
LOCK2 &vcpu->kvm->mmu_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
TYPE_LOCK (struct kvm)->mmu_lock

arch/x86/kvm/mmu/mmu.c paging64_pte_prefetch() -> is_shadow_present_pte()

Type Parameter Key Value
LOCK2 &vcpu->kvm->mmu_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
TYPE_LOCK (struct kvm)->mmu_lock

arch/x86/kvm/mmu/mmu.c rmap_write_protect() -> is_shadow_present_pte()

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

arch/x86/kvm/mmu/mmu.c shadow_mmu_split_huge_page() -> is_shadow_present_pte()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->arch.apic_map_lock
HALF_LOCKED2 &kvm->arch.apicv_update_lock
HALF_LOCKED2 &kvm->lock
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 &kvm->srcu

arch/x86/kvm/mmu/mmu.c shadow_mmu_try_split_huge_pages() -> is_shadow_present_pte()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->arch.apic_map_lock
HALF_LOCKED2 &kvm->arch.apicv_update_lock
HALF_LOCKED2 &kvm->lock
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 &kvm->srcu

arch/x86/kvm/mmu/mmu.c spte_ad_enabled() -> is_shadow_present_pte()

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

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

Type Parameter Key Value
DATA_SOURCE 0 pte $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 &kvm->slots_lock

arch/x86/kvm/mmu/mmu.c spte_permission_fault() -> is_shadow_present_pte()

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

arch/x86/kvm/mmu/mmu.c validate_direct_spte() -> is_shadow_present_pte()

Type Parameter Key Value
LOCK2 &vcpu->kvm->mmu_lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
TYPE_LOCK (struct kvm)->mmu_lock

arch/x86/kvm/mmu/tdp_mmu.c __handle_changed_spte() -> is_shadow_present_pte()

Type Parameter Key Value
DATA_SOURCE 0 pte $3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->lock
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 &kvm->srcu
HALF_LOCKED2 rcu_read

arch/x86/kvm/mmu/tdp_mmu.c __handle_changed_spte() -> is_shadow_present_pte()

Type Parameter Key Value
DATA_SOURCE 0 pte $4
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

arch/x86/kvm/mmu/tdp_mmu.c __kvm_tdp_mmu_age_gfn_range() -> is_shadow_present_pte()

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 __tdp_mmu_zap_root() -> is_shadow_present_pte()

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 &kvm->srcu
HALF_LOCKED2 global &srcu
TYPE_LOCK (struct kvm)->mmu_lock

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

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() -> is_shadow_present_pte()

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

arch/x86/kvm/mmu/tdp_mmu.c handle_removed_pt() -> is_shadow_present_pte()

Type Parameter Key Value
DATA_SOURCE 0 pte r kvm_tdp_mmu_read_spte
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->arch.apic_map_lock
HALF_LOCKED2 &kvm->arch.apicv_update_lock
HALF_LOCKED2 &kvm->lock
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 &kvm->slots_arch_lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 &kvm->srcu
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 pte 0-9223372036854776223,9223372036854776225-u64max
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 kvm_tdp_mmu_map() -> is_shadow_present_pte()

Type Parameter Key Value
PARAM_VALUE 0 pte 0-9223372036854776223,9223372036854776225-u64max
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 kvm_tdp_mmu_spte_need_atomic_update() -> is_shadow_present_pte()

Type Parameter Key Value
DATA_SOURCE 0 pte $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 rcu_read

arch/x86/kvm/mmu/tdp_mmu.c recover_huge_pages_range() -> is_shadow_present_pte()

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 spte_ad_enabled() -> is_shadow_present_pte()

Type Parameter Key Value
DATA_SOURCE 0 pte $0
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 spte_ad_need_write_protect() -> is_shadow_present_pte()

Type Parameter Key Value
DATA_SOURCE 0 pte $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &kvm->mmu_lock
LOCK2 rcu_read
HALF_LOCKED2 &kvm->slots_lock
TYPE_LOCK (struct kvm)->mmu_lock

arch/x86/kvm/mmu/tdp_mmu.c spte_permission_fault() -> is_shadow_present_pte()

Type Parameter Key Value
PARAM_VALUE 0 pte 0-9223372036854776223,9223372036854776225-u64max
DATA_SOURCE 0 pte $1
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 tdp_mmu_make_huge_spte() -> is_shadow_present_pte()

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 tdp_mmu_map_handle_target_level() -> is_shadow_present_pte()

Type Parameter Key Value
PARAM_VALUE 0 pte 0-9223372036854776223,9223372036854776225-u64max
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 tdp_mmu_map_handle_target_level() -> is_shadow_present_pte()

Type Parameter Key Value
PARAM_VALUE 0 pte 0-9223372036854776223,9223372036854776225-u64max
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 tdp_mmu_split_huge_pages_root() -> is_shadow_present_pte()

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
TYPE_LOCK (struct kvm)->mmu_lock

arch/x86/kvm/mmu/tdp_mmu.c tdp_mmu_zap_leafs() -> is_shadow_present_pte()

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

arch/x86/kvm/mmu/tdp_mmu.c write_protect_gfn() -> is_shadow_present_pte()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 &kvm->arch.apic_map_lock
HALF_LOCKED2 &kvm->arch.apicv_update_lock
HALF_LOCKED2 &kvm->lock
HALF_LOCKED2 &kvm->mmu_lock
HALF_LOCKED2 &kvm->slots_lock
HALF_LOCKED2 &kvm->srcu

arch/x86/kvm/mmu/tdp_mmu.c wrprot_gfn_range() -> is_shadow_present_pte()

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/vmx/tdx.c tdx_sept_set_private_spte() -> is_shadow_present_pte()

Type Parameter Key Value
DATA_SOURCE 0 pte $2

arch/x86/kvm/vmx/tdx.c tdx_sept_set_private_spte() -> is_shadow_present_pte()

Type Parameter Key Value
DATA_SOURCE 0 pte $3