Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/xen/events/events_base.c bind_evtchn_to_irqhandler() -> bind_evtchn_to_irqhandler_chip()

Type Parameter Key Value
PARAM_VALUE 2 irqflags 0
PARAM_VALUE 4 dev_id 4096-ptr_max
PARAM_VALUE 5 chip 3158261332677603328
BUF_SIZE 3 devname (-1),6-7,9,17-19
BUF_SIZE 3 devname (-1),6-7,9,17-19
BUF_SIZE 4 dev_id s32min-(-1),1-s32max
BUF_SIZE 4 dev_id s32min-(-1),1-s32max
DATA_SOURCE 0 evtchn $0
DATA_SOURCE 1 handler $1
DATA_SOURCE 2 irqflags $2
DATA_SOURCE 3 devname $3
DATA_SOURCE 4 dev_id $4
STR_LEN 0 evtchn (-1),5-6,8,16-18
RX_PATH
TASK_NOT_RUNNING
UNITS 4 dev_id unit_byte
HALF_LOCKED2 &dev->reclaim_sem
HALF_LOCKED2 &xdev->reclaim_sem
HALF_LOCKED2 global &xenwatch_mutex

drivers/xen/events/events_base.c bind_evtchn_to_irqhandler_lateeoi() -> bind_evtchn_to_irqhandler_chip()

Type Parameter Key Value
PARAM_VALUE 2 irqflags 0,128
PARAM_VALUE 4 dev_id 4096-ptr_max
PARAM_VALUE 5 chip 2476576093123010560
BUF_SIZE 3 devname (-1),10,16,25
BUF_SIZE 3 devname (-1),10,16,25
BUF_SIZE 4 dev_id (-1),40
BUF_SIZE 4 dev_id (-1),40
DATA_SOURCE 0 evtchn $0
DATA_SOURCE 1 handler $1
DATA_SOURCE 2 irqflags $2
DATA_SOURCE 3 devname $3
DATA_SOURCE 4 dev_id $4
STR_LEN 0 evtchn (-1),9,24
HARD_MAX 2 irqflags 128
TASK_NOT_RUNNING
USER_DATA 0 evtchn 0-u32max
HALF_LOCKED2 &u->bind_mutex
HALF_LOCKED2 global &ioreq_lock
HALF_LOCKED2 global &xenwatch_mutex