Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kernel/apic/x2apic_savic.c savic_eoi() -> apic_test_vector()

Type Parameter Key Value
PARAM_VALUE 0 vec 225-256
BUF_SIZE 1 bitmap 3712
DATA_SOURCE 0 vec r apic_find_highest_vector

arch/x86/kvm/lapic.c __apic_accept_irq() -> apic_test_vector()

Type Parameter Key Value
PARAM_VALUE 0 vec 0-u16max
PARAM_VALUE 1 bitmap 4096-ptr_max
DATA_SOURCE 0 vec $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 vec 1-255[c]
UNITS 0 vec unit_byte
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/lapic.c kvm_apic_pending_eoi() -> apic_test_vector()

Type Parameter Key Value
PARAM_VALUE 1 bitmap 4096-ptr_max
DATA_SOURCE 0 vec $1
PREEMPT_ADD
UNITS 0 vec unit_byte
HALF_LOCKED2 &ioapic->lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/lapic.c kvm_apic_pending_eoi() -> apic_test_vector()

Type Parameter Key Value
PARAM_VALUE 1 bitmap 4096-ptr_max
DATA_SOURCE 0 vec $1
PREEMPT_ADD
UNITS 0 vec unit_byte
HALF_LOCKED2 &ioapic->lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex

arch/x86/kvm/lapic.c kvm_ioapic_send_eoi() -> apic_test_vector()

Type Parameter Key Value
PARAM_VALUE 0 vec s32min-(-2),0-s32max
PARAM_VALUE 1 bitmap 4096-ptr_max
CAPPED_DATA 0 vec 1
DATA_SOURCE 0 vec $1
UNITS 0 vec unit_byte

arch/x86/kvm/lapic.c lapic_timer_int_injected() -> apic_test_vector()

Type Parameter Key Value
PARAM_VALUE 0 vec 0-255