Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/can/can327.c can327_parse_rxbuf() -> can327_parse_line()

Type Parameter Key Value
PARAM_VALUE 0 elm 4096-ptr_max
PARAM_VALUE 0 elm->offload.napi.thread->sched_class->uclamp_enabled 0-1
PARAM_VALUE 0 elm->state 3
PARAM_VALUE 0 *elm->dev->name 0-255
PARAM_VALUE 1 len 0-1023,1025-s32max,18446744071562067968-u64max
BUF_SIZE 0 elm (-1),4,16,24,32,38-s32max
BUF_SIZE 0 elm (-1),4,16,24,32,38-s32max
CAPPED_DATA 0 elm->rxfill 1
DATA_SOURCE 0 elm $0
PARAM_COMPARE 0 elm->rxfill > $1
PARAM_COMPARE 1 len < $0->rxfill
PREEMPT_ADD
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 0 &elm->lock