Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/can/bcm.c bcm_rx_setup() -> bcm_is_invalid_tv()

Type Parameter Key Value
PARAM_VALUE 0 msg_head 7451157088997707776
DATA_SOURCE 0 msg_head $0
BIT_INFO 0 msg_head->flags 0x1,0xffffffff
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk
HALF_LOCKED2 &vq->mutex

net/can/bcm.c bcm_tx_setup() -> bcm_is_invalid_tv()

Type Parameter Key Value
PARAM_VALUE 0 msg_head 7451157088997707776
DATA_SOURCE 0 msg_head $0
BIT_INFO 0 msg_head->flags 0x1,0xffffffff
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk
HALF_LOCKED2 &vq->mutex