Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/ioapic.c kvm_ioapic_update_eoi() -> kvm_ioapic_update_eoi_one()

Type Parameter Key Value
PARAM_VALUE 0 vcpu 4096-ptr_max
PARAM_VALUE 0 vcpu->arch.ioapic_handled_vectors 4096-ptr_max
PARAM_VALUE 0 vcpu->kvm 4096-ptr_max
PARAM_VALUE 0 vcpu->kvm->arch.apic_map->xapic_flat_map->lapic_timer.timer_mode 0-4294967295
PARAM_VALUE 0 vcpu->kvm->arch.apicv_update_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 vcpu->kvm->arch.apicv_update_lock.first_waiter->type 0-1
PARAM_VALUE 0 vcpu->kvm->arch.irqchip_mode 0-1,3-s32max
PARAM_VALUE 0 vcpu->kvm->arch.vioapic 4096-ptr_max
PARAM_VALUE 0 vcpu->kvm->arch.vioapic->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vcpu->kvm->arch.vioapic->redirtbl 4096-ptr_max
PARAM_VALUE 0 vcpu->kvm->arch.vioapic->rtc_status.map 4096-ptr_max
PARAM_VALUE 0 vcpu->kvm->arch.vioapic->rtc_status.pending_eoi 0-s32max
PARAM_VALUE 0 vcpu->run->emulation_failure.ndata 6,8,10,12
PARAM_VALUE 0 vcpu->run->system_event.ndata 0-1,16
PARAM_VALUE 0 vcpu->run->system_event.type 2-3,6-7
PARAM_VALUE 0 *vcpu->kvm->arch.vioapic->irq_eoi 0-4294967295
PARAM_VALUE 1 ioapic 4096-ptr_max
PARAM_VALUE 1 ioapic->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 ioapic->redirtbl 4096-ptr_max
PARAM_VALUE 1 ioapic->rtc_status.map 4096-ptr_max
PARAM_VALUE 1 ioapic->rtc_status.pending_eoi 0-s32max
PARAM_VALUE 1 *ioapic->irq_eoi 0-4294967295
PARAM_VALUE 2 trigger_mode 0-1
PARAM_VALUE 3 pin 0-23
DATA_SOURCE 0 vcpu $0
DATA_SOURCE 2 trigger_mode $2
FUZZY_MAX 2 trigger_mode 1
FUZZY_MAX 3 pin 23
HARD_MAX 2 trigger_mode 1
HARD_MAX 3 pin 23
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 1 &ioapic->lock
TYPE_LOCK (struct kvm_ioapic)->lock