Open Menu /

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

arch/x86/kernel/apic/x2apic_savic.c self_ipi() -> native_x2apic_icr_write()

Type Parameter Key Value
PARAM_VALUE 0 low 1008-1263,2032-2287
PARAM_VALUE 1 id 0
BIT_INFO 0 low 0x3f0,0x7ff
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/kernel/apic/x2apic_phys.c __x2apic_send_IPI_dest() -> native_x2apic_icr_write()

Type Parameter Key Value
DATA_SOURCE 1 id $0
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

arch/x86/kernel/apic/x2apic_phys.c __x2apic_send_IPI_shorthand() -> native_x2apic_icr_write()

Type Parameter Key Value
PARAM_VALUE 0 low 0,262144-u32max
PARAM_VALUE 1 id 0
NOCHECK_CALL

arch/x86/kernel/apic/x2apic_cluster.c __x2apic_send_IPI_dest() -> native_x2apic_icr_write()

Type Parameter Key Value
PARAM_VALUE 0 low 0,2048-u32max
DATA_SOURCE 1 id $0
BIT_INFO 0 low 0x800,0xffffffff
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags