Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/kernel/apic/x2apic_phys.c x2apic_send_IPI_mask() -> __x2apic_send_IPI_mask()

Type Parameter Key Value
PARAM_VALUE 0 mask->bits 4096-ptr_max
PARAM_VALUE 2 apic_dest 524288
DATA_SOURCE 0 mask $0
DATA_SOURCE 1 vector $1
NOCHECK_CALL

arch/x86/kernel/apic/x2apic_phys.c x2apic_send_IPI_mask_allbutself() -> __x2apic_send_IPI_mask()

Type Parameter Key Value
PARAM_VALUE 2 apic_dest 786432
DATA_SOURCE 0 mask $0
DATA_SOURCE 1 vector $1
NOCHECK_CALL

arch/x86/kernel/apic/x2apic_cluster.c x2apic_send_IPI_mask() -> __x2apic_send_IPI_mask()

Type Parameter Key Value
PARAM_VALUE 0 mask->bits 4096-ptr_max
PARAM_VALUE 2 apic_dest 524288
DATA_SOURCE 0 mask $0
DATA_SOURCE 1 vector $1
NOCHECK_CALL

arch/x86/kernel/apic/x2apic_cluster.c x2apic_send_IPI_mask_allbutself() -> __x2apic_send_IPI_mask()

Type Parameter Key Value
PARAM_VALUE 2 apic_dest 786432
DATA_SOURCE 0 mask $0
DATA_SOURCE 1 vector $1
NOCHECK_CALL