Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/mmu/mmu.c kvm_recover_nx_huge_pages() -> kvm_mmu_sp_dirty_logging_enabled()

Type Parameter Key Value
PARAM_VALUE 0 kvm 4096-ptr_max
PARAM_VALUE 0 kvm->arch.possible_nx_huge_pages 4096-ptr_max
PARAM_VALUE 0 kvm->arch.vioapic->eoi_inject.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 kvm->arch.vioapic->eoi_inject.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 kvm->arch.vioapic->eoi_inject.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 kvm->mmu_lock.dep_map->name 0-255
PARAM_VALUE 0 kvm->srcu.srcu_ctrp 4096-ptr_max
PARAM_VALUE 1 sp 4096-ptr_max
PARAM_VALUE 1 sp->nx_huge_page_disallowed 0
CAPPED_DATA 0 kvm->srcu.srcu_ctrp 1
CAPPED_DATA 0 kvm->srcu.srcu_reader_flavor 1
DATA_SOURCE 0 kvm $0
LOCK2 rcu_read
LOCK2 0 &kvm->mmu_lock
LOCK2 0 &kvm->srcu
TYPE_LOCK (struct kvm)->mmu_lock
TYPE_LOCK (struct kvm)->srcu