Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/can/cc770/cc770.c cc770_interrupt() -> cc770_rx_interrupt()

Type Parameter Key Value
PARAM_VALUE 0 dev->priv->can.state 0-3,5-4294967295
PARAM_VALUE 0 dev->priv->obj_flags 4096-ptr_max
PARAM_VALUE 1 o 0-4,4294967058-u32max
DATA_SOURCE 0 dev $1
DATA_SOURCE 1 o r intid2obj
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 o 0-4[c]
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags