Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/dma/apple-admac.c admac_interrupt() -> admac_handle_chan_int()

Type Parameter Key Value
PARAM_VALUE 0 ad 4096-ptr_max
PARAM_VALUE 0 ad->nchannels 1-s32max
PARAM_VALUE 1 no 0,2-2147483646
CAPPED_DATA 1 no 1
DATA_SOURCE 0 ad $1
PARAM_COMPARE 0 ad->nchannels > $1
PARAM_COMPARE 1 no < $0->nchannels
CONSTRAINT 1 no <4261
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/dma/apple-admac.c admac_interrupt() -> admac_handle_chan_int()

Type Parameter Key Value
PARAM_VALUE 0 ad 4096-ptr_max
PARAM_VALUE 0 ad->nchannels 2-s32max
PARAM_VALUE 1 no 1,3-2147483646
CAPPED_DATA 0 ad->nchannels 1
CAPPED_DATA 1 no 1
DATA_SOURCE 0 ad $1
PARAM_COMPARE 0 ad->nchannels > $1
PARAM_COMPARE 1 no < $0->nchannels
CONSTRAINT 1 no <4261
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags