Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

arch/x86/xen/spinlock.c xen_init_lock_cpu() -> bind_ipi_to_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 ipi 3
PARAM_VALUE 3 irqflags 3072
PARAM_VALUE 5 dev_id 0
BUF_SIZE 4 devname (-1)-s32max
BUF_SIZE 4 devname (-1)-s32max
CAPPED_DATA 4 devname 1
DATA_SOURCE 1 cpu $0
DATA_SOURCE 4 devname r kasprintf
STR_LEN 0 ipi (-1),8-9,11-29,31-34,38
RX_PATH
TASK_NOT_RUNNING

arch/x86/xen/smp_pv.c xen_smp_intr_init_pv() -> bind_ipi_to_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 ipi 4
PARAM_VALUE 3 irqflags 3072
PARAM_VALUE 5 dev_id 0
BUF_SIZE 4 devname (-1)-s32max
BUF_SIZE 4 devname (-1)-s32max
CAPPED_DATA 4 devname 1
DATA_SOURCE 1 cpu $0
DATA_SOURCE 4 devname r kasprintf
STR_LEN 0 ipi (-1),8-9,11-29,31-34,38
BIT_INFO 1 cpu 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING

arch/x86/xen/smp.c xen_smp_intr_init() -> bind_ipi_to_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 ipi 0
PARAM_VALUE 3 irqflags 3072
PARAM_VALUE 4 devname 1-u64max
PARAM_VALUE 5 dev_id 0
BUF_SIZE 4 devname 0-s32max
BUF_SIZE 4 devname 0-s32max
CAPPED_DATA 4 devname 1
DATA_SOURCE 1 cpu $0
DATA_SOURCE 4 devname r kasprintf
STR_LEN 0 ipi (-1),8-9,11-29,31-34,38
BIT_INFO 1 cpu 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING

arch/x86/xen/smp.c xen_smp_intr_init() -> bind_ipi_to_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 ipi 1
PARAM_VALUE 3 irqflags 3072
PARAM_VALUE 4 devname 1-u64max
PARAM_VALUE 5 dev_id 0
BUF_SIZE 4 devname 0-s32max
BUF_SIZE 4 devname 0-s32max
CAPPED_DATA 4 devname 1
DATA_SOURCE 1 cpu $0
DATA_SOURCE 4 devname r kasprintf
STR_LEN 0 ipi (-1),8-9,11-29,31-34,38
BIT_INFO 1 cpu 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING

arch/x86/xen/smp.c xen_smp_intr_init() -> bind_ipi_to_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 ipi 2
PARAM_VALUE 3 irqflags 3072
PARAM_VALUE 4 devname 1-u64max
PARAM_VALUE 5 dev_id 0
BUF_SIZE 4 devname 0-s32max
BUF_SIZE 4 devname 0-s32max
CAPPED_DATA 4 devname 1
DATA_SOURCE 1 cpu $0
DATA_SOURCE 4 devname r kasprintf
STR_LEN 0 ipi (-1),8-9,11-29,31-34,38
BIT_INFO 1 cpu 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING