Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/../../../virt/kvm/eventfd.c irqfd_resampler_ack() -> irqfd_resampler_notify()

Type Parameter Key Value
PARAM_VALUE 0 resampler 4096-ptr_max
PARAM_VALUE 0 resampler->kvm 4096-ptr_max
PARAM_VALUE 0 resampler->kvm->arch.disabled_lapic_found 1
PARAM_VALUE 0 resampler->kvm->arch.vioapic->irr 0-4294967295
PARAM_VALUE 0 resampler->kvm->arch.vioapic->irr_delivered 0-4294967295
PARAM_VALUE 0 resampler->kvm->arch.vioapic->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 resampler->kvm->arch.vioapic->rtc_status->vectors 0-255
PARAM_VALUE 0 resampler->kvm->arch.vioapic->rtc_status.pending_eoi s32min-s32max
PARAM_VALUE 0 resampler->kvm->arch.vpic->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 resampler->kvm->irq_routing 0,4096-ptr_max
PARAM_VALUE 0 resampler->kvm->irq_srcu.dep_map->name 0-255
PARAM_VALUE 0 resampler->kvm->irq_srcu.srcu_ctrp 4096-ptr_max
PARAM_VALUE 0 resampler->kvm->vm_bugged 1
NOCHECK_CALL
LOCK2 &kvm->irq_srcu
LOCK2 &kvm->irq_srcu
TYPE_LOCK (struct kvm)->irq_srcu

arch/x86/kvm/../../../virt/kvm/eventfd.c kvm_notify_irqfd_resampler() -> irqfd_resampler_notify()

Type Parameter Key Value
PARAM_VALUE 0 resampler 4096-ptr_max
PARAM_VALUE 0 resampler->notifier.gsi 0-4294967294
CAPPED_DATA 0 resampler->notifier.gsi 1
PREEMPT_ADD
NOCHECK_CALL
LOCK2 &ioapic->lock
LOCK2 &kvm->irq_srcu
TYPE_LOCK (struct kvm)->irq_srcu
TYPE_LOCK (struct kvm_ioapic)->lock