Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/can/bcm.c bcm_delete_rx_op() -> bcm_rx_unreg()

Type Parameter Key Value
PARAM_VALUE 0 dev 1-u64max
PARAM_VALUE 1 op 4096-ptr_max
PARAM_VALUE 1 op->flags 0,128-u32max
PARAM_VALUE 1 op->ifindex s32min-(-1),1-s32max
PARAM_VALUE 1 op->rx_reg_dev 1-u64max
CAPPED_DATA 1 op->can_id 1
CAPPED_DATA 1 op->ifindex 1
CAPPED_DATA 1 &op->list 1
BIT_INFO 1 op->flags 0x80,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 sk
HALF_LOCKED2 &vq->mutex

net/can/bcm.c bcm_notify() -> bcm_rx_unreg()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->type 280
PARAM_VALUE 1 op 4096-ptr_max
PARAM_VALUE 1 op->rx_reg_dev 4096-ptr_max
CAPPED_DATA 0 dev 1
CAPPED_DATA 0 dev->nd_net.net 1
CAPPED_DATA 1 op->rx_reg_dev 1
DATA_SOURCE 0 dev $2
PARAM_COMPARE 0 dev == $1->rx_reg_dev
PARAM_COMPARE 0 dev == $1->rx_reg_dev
NOCHECK_CALL
LOCK2 sk

net/can/bcm.c bcm_release() -> bcm_rx_unreg()

Type Parameter Key Value
PARAM_VALUE 0 dev 1-u64max
PARAM_VALUE 1 op 4096-ptr_max
PARAM_VALUE 1 op->ifindex s32min-(-1),1-s32max
PARAM_VALUE 1 op->rx_reg_dev 1-u64max
CAPPED_DATA 1 &op->list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 sk
HALF_LOCKED2 &inode->i_rwsem