Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

arch/x86/xen/time.c xen_setup_timer() -> bind_virq_to_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 virq 0
PARAM_VALUE 3 irqflags 249344
PARAM_VALUE 5 dev_id 0
BUF_SIZE 4 devname 16
DATA_SOURCE 1 cpu $0
STR_LEN 0 virq (-1),8-9,11-29,31-34,38
STR_LEN 1 cpu 15
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 virq 13
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 virq (-1),8-9,11-29,31-34,38
BIT_INFO 1 cpu 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING

drivers/xen/pcpu.c xen_pcpu_init() -> bind_virq_to_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 virq 9
PARAM_VALUE 1 cpu 0
PARAM_VALUE 3 irqflags 0
PARAM_VALUE 4 devname 9125809579306749952
PARAM_VALUE 5 dev_id 0
BUF_SIZE 4 devname 9
STR_LEN 0 virq 8
TERMINATED 4 devname 1

drivers/xen/mcelog.c bind_virq_for_mce() -> bind_virq_to_irqhandler()

Type Parameter Key Value
PARAM_VALUE 0 virq 16
PARAM_VALUE 1 cpu 0
PARAM_VALUE 3 irqflags 0
PARAM_VALUE 4 devname 1911445421534040064
PARAM_VALUE 5 dev_id 0
BUF_SIZE 4 devname 4
STR_LEN 0 virq 3
TERMINATED 4 devname 1

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

Type Parameter Key Value
PARAM_VALUE 0 virq 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 virq (-1),8-9,11-29,31-34,38
BIT_INFO 1 cpu 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING