Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 vcpu 4096-ptr_max
PARAM_VALUE 0 vcpu->kvm 4096-ptr_max
PARAM_VALUE 0 vcpu->kvm->arch.indirect_shadow_pages 1-u32max
PARAM_VALUE 0 vcpu->kvm->mmu_lock.dep_map->name 0-255
PARAM_VALUE 0 vcpu->kvm->mmu_lock.owner_cpu 0
PARAM_VALUE 0 vcpu->kvm->mmu_lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 vcpu->last_used_slot_gen 0-2,9223372034707292161-9223372036854775809,18446744071562067968-u64max
BUF_SIZE 0 vcpu 1-s32max
BUF_SIZE 0 vcpu 1-s32max
CAPPED_DATA 0 vcpu->kvm 1
DATA_SOURCE 0 vcpu $0
NO_OVERFLOW_SIMPLE 2 *bytes
LOCK2 0 &vcpu->kvm->mmu_lock
TYPE_LOCK (struct kvm)->mmu_lock