Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/kernel/apic/x2apic_uv_x.c uv_send_IPI_allbutself() -> uv_send_IPI_one()

Type Parameter Key Value
PARAM_VALUE 0 cpu 1-64
CAPPED_DATA 0 cpu 1
DATA_SOURCE 0 cpu r find_next_bit
DATA_SOURCE 1 vector $0
NOCHECK_CALL

arch/x86/kernel/apic/x2apic_uv_x.c uv_send_IPI_mask() -> uv_send_IPI_one()

Type Parameter Key Value
PARAM_VALUE 0 cpu 0-64
CAPPED_DATA 0 cpu 1
DATA_SOURCE 0 cpu r find_next_bit
DATA_SOURCE 1 vector $1
NOCHECK_CALL

arch/x86/kernel/apic/x2apic_uv_x.c uv_send_IPI_mask_allbutself() -> uv_send_IPI_one()

Type Parameter Key Value
PARAM_VALUE 0 cpu 1-64
CAPPED_DATA 0 cpu 1
DATA_SOURCE 0 cpu r find_next_bit
DATA_SOURCE 1 vector $1
NOCHECK_CALL

arch/x86/hyperv/hv_apic.c hv_send_ipi() -> (struct apic)->send_IPI()

Type Parameter Key Value
DATA_SOURCE 0 cpu $0
DATA_SOURCE 1 vector $1
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/kernel/cpu/microcode/core.c load_cpus_stopped() -> (struct apic)->send_IPI()

Type Parameter Key Value
PARAM_VALUE 0 cpu 0
PARAM_VALUE 1 vector 2
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

arch/x86/kernel/apic/ipi.c apic_send_nmi_to_offline_cpu() -> (struct apic)->send_IPI()

Type Parameter Key Value
PARAM_VALUE 0 cpu 0-64
PARAM_VALUE 1 vector 2
CAPPED_DATA 0 cpu 1
DATA_SOURCE 0 cpu $0
TASK_NOT_RUNNING
NOCHECK_CALL