Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kvm/lapic.c kvm_apic_match_logical_addr() -> kvm_apic_broadcast()

Type Parameter Key Value
DATA_SOURCE 0 apic $0
DATA_SOURCE 1 mda $1
NOSPEC 1 mda
NOSPEC 1 mda
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 apic->sipi_vector 1-255[c]
USER_DATA 1 mda 0-u32max[c]
HALF_LOCKED2 &ioapic->lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
HALF_LOCKED2 rcu_read

arch/x86/kvm/lapic.c kvm_apic_match_physical_addr() -> kvm_apic_broadcast()

Type Parameter Key Value
DATA_SOURCE 0 apic $0
DATA_SOURCE 1 mda $1
NOSPEC 1 mda
NOSPEC 1 mda
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 apic->sipi_vector 1-255[c]
USER_DATA 1 mda 0-u32max[c]
HALF_LOCKED2 &ioapic->lock
HALF_LOCKED2 &kvm->irqfds.lock
HALF_LOCKED2 &vcpu->kvm->srcu
HALF_LOCKED2 &vcpu->mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read