Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/ioapic.c kvm_set_ioapic() -> kvm_ioapic_inject_all()

Type Parameter Key Value
PARAM_VALUE 0 ioapic 4096-ptr_max
PARAM_VALUE 0 ioapic->irr 0
PARAM_VALUE 0 ioapic->irr_delivered 0
PARAM_VALUE 0 ioapic->lock.rlock.dep_map->name 0-255
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 0 &ioapic->lock
TYPE_LOCK (struct kvm_ioapic)->lock