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_remove_op()

Type Parameter Key Value
PARAM_VALUE 0 op 4096-ptr_max
PARAM_VALUE 0 op->can_id 0-2147483646,2147483648-u32max
PARAM_VALUE 0 op->flags 0,128-u32max
PARAM_VALUE 0 op->list.next->prev 4096-ptr_max
CAPPED_DATA 0 op 1
CAPPED_DATA 0 op->can_id 1
CAPPED_DATA 0 op->ifindex 1
CAPPED_DATA 0 &op->list 1
BIT_INFO 0 op->flags 0x80,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 sk
HALF_LOCKED2 &vq->mutex

net/can/bcm.c bcm_delete_tx_op() -> bcm_remove_op()

Type Parameter Key Value
PARAM_VALUE 0 op 4096-ptr_max
PARAM_VALUE 0 op->list.next->prev 4096-ptr_max
CAPPED_DATA 0 op->can_id 1
CAPPED_DATA 0 op->ifindex 1
CAPPED_DATA 0 &op->list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 sk
HALF_LOCKED2 &vq->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 op 4096-ptr_max
CAPPED_DATA 0 &op->list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 sk
HALF_LOCKED2 &inode->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 op 4096-ptr_max
CAPPED_DATA 0 &op->list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 sk
HALF_LOCKED2 &inode->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 op 4096-ptr_max
PARAM_VALUE 0 op->cfsiz 16,72
PARAM_VALUE 0 op->frames 16,4096-ptr_max
PARAM_VALUE 0 op->last_frames 16,4096-ptr_max
PARAM_VALUE 0 op->nframes 0-257
PARAM_VALUE 0 op->sk 4096-ptr_max
PARAM_VALUE 0 op->sk->sk_lock.owned 1
PARAM_VALUE 0 op->sk->sk_lock.wq.head.prev 4096-ptr_max
PARAM_VALUE 0 op->thrtimer._softexpires 0
PARAM_VALUE 0 op->thrtimer.base 4096-ptr_max
PARAM_VALUE 0 op->thrtimer.function 1-u64max
PARAM_VALUE 0 op->thrtimer.is_queued 0
PARAM_VALUE 0 op->thrtimer.is_rel 0
PARAM_VALUE 0 op->thrtimer.node.expires 0
PARAM_VALUE 0 op->thrtimer.node.node.next 0
PARAM_VALUE 0 op->thrtimer.node.node.node.__rb_parent_color 0
PARAM_VALUE 0 op->thrtimer.node.node.node.rb_left 0
PARAM_VALUE 0 op->thrtimer.node.node.node.rb_right 0
PARAM_VALUE 0 op->thrtimer.node.node.prev 0
PARAM_VALUE 0 op->timer.is_rel 0
PARAM_VALUE 0 op->timer.node.node.node.__rb_parent_color 0-1
PARAM_VALUE 0 op->timer.node.node.node.rb_left 0,4096-ptr_max
PARAM_VALUE 0 op->timer.node.node.node.rb_right 0,4096-ptr_max
BUF_SIZE 0 op 720
BUF_SIZE 0 op->frames 16,72
BUF_SIZE 0 op->last_frames 16,72
CAPPED_DATA 0 op->nframes 1
CAPPED_DATA 0 op->thrtimer.base 1
CAPPED_DATA 0 &op->thrtimer 1
CAPPED_DATA 0 &op->timer 1
DATA_SOURCE 0 op r _kzalloc_noprof
FUZZY_MAX 0 op->cfsiz 72
BIT_INFO 0 op->cfsiz 0x0,0x58
HARD_MAX 0 op->cfsiz 72
MEM_ZERO 0 &op->thrtimer
MEM_ZERO 0 &op->timer
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 op->ifindex s32min-s32max[c]
USER_DATA 0 op->rx_ifindex s32min-s32max[c]
NO_OVERFLOW_SIMPLE 0 op->cfsiz
NO_OVERFLOW_SIMPLE 0 op->sk->sk_backlog.len
LOCK2 sk
HALF_LOCKED2 &vq->mutex