Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/xen/events/events_base.c bind_interdomain_evtchn_to_irqhandler_lateeoi() -> bind_interdomain_evtchn_to_irqhandler_chip()

Type Parameter Key Value
PARAM_VALUE 3 irqflags 0
PARAM_VALUE 5 dev_id 4096-ptr_max
PARAM_VALUE 6 chip 2476576093123010560
BUF_SIZE 4 devname 12,16,21,24
BUF_SIZE 4 devname 12,16,21,24
BUF_SIZE 5 dev_id s32min-(-1),1-s32max
BUF_SIZE 5 dev_id s32min-(-1),1-s32max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 remote_port $1
DATA_SOURCE 2 handler $2
DATA_SOURCE 3 irqflags $3
DATA_SOURCE 4 devname $4
DATA_SOURCE 5 dev_id $5
STR_LEN 0 dev 11,15,20,23
STR_LEN 0 dev 11,15,20,23
RX_PATH
TASK_NOT_RUNNING
UNITS 5 dev_id unit_byte
HALF_LOCKED2 &pdev->dev_lock
HALF_LOCKED2 global &xenwatch_mutex