Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 op 4096-ptr_max
PARAM_VALUE 0 op->cfsiz 16,72
PARAM_VALUE 0 op->flags 8-u32max
PARAM_VALUE 0 op->frames 16,4096-ptr_max
PARAM_VALUE 0 op->ifindex s32min-(-1),1-s32max
PARAM_VALUE 0 op->last_frames 0
PARAM_VALUE 0 op->nframes 1-256
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 0,4096-ptr_max
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_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._softexpires 0
PARAM_VALUE 0 op->timer.base 0,4096-ptr_max
PARAM_VALUE 0 op->timer.is_queued 0
PARAM_VALUE 0 op->timer.is_rel 0
PARAM_VALUE 0 op->timer.node.expires 0
PARAM_VALUE 0 op->timer.node.node.next 0
PARAM_VALUE 0 op->timer.node.node.node.__rb_parent_color 0
PARAM_VALUE 0 op->timer.node.node.node.rb_left 0
PARAM_VALUE 0 op->timer.node.node.node.rb_right 0
PARAM_VALUE 0 op->timer.node.node.prev 0
BUF_SIZE 0 op 720,u64max
BUF_SIZE 0 op 720,u64max
BUF_SIZE 0 op->frames 16,72,u64max
CAPPED_DATA 0 op->cfsiz 1
CAPPED_DATA 0 op->ifindex 1
CAPPED_DATA 0 op->nframes 1
CAPPED_DATA 0 op->timer.base 1
CAPPED_DATA 0 &op->timer 1
FUZZY_MAX 0 op->cfsiz 72
PARAM_COMPARE 0 &op->timer != $0->timer.base->running
BIT_INFO 0 op->flags 0x2,0xffffffff
NOSPEC 0 op->ifindex
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 op->ifindex s32min-(-1),1-s32max[c]
NO_OVERFLOW_SIMPLE 0 op->cfsiz
NO_OVERFLOW_SIMPLE 0 op->sk->sk_backlog.len
LOCK2 sk
HALF_LOCKED2 &vq->mutex