Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/can/janz-ican3.c ican3_send_msg() -> ican3_new_send_msg()

Type Parameter Key Value
PARAM_VALUE 0 mod 4096-ptr_max
PARAM_VALUE 0 mod->iftype 1-u32max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->len 0,2,4-5,8,11,13
PARAM_VALUE 1 msg->spec 2-3,8,10,16-18,65-67,71,176,180
BUF_SIZE 0 mod->can.bittiming_const (-1),48
BUF_SIZE 0 mod->irq s32min-(-1),1-s32max
DATA_SOURCE 0 mod $0
DATA_SOURCE 1 msg $1
MEM_ZERO 1 msg
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 0 mod unit_byte
LOCK2 flags
LOCK2 0 &mod->lock
TYPE_LOCK (struct ican3_dev)->lock