Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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_hard 0
PARAM_VALUE 0 op->thrtimer.is_lazy 0
PARAM_VALUE 0 op->thrtimer.is_queued 0
PARAM_VALUE 0 op->thrtimer.is_rel 0
PARAM_VALUE 0 op->thrtimer.is_soft 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_hard 0
PARAM_VALUE 0 op->timer.is_lazy 0
PARAM_VALUE 0 op->timer.is_queued 0
PARAM_VALUE 0 op->timer.is_rel 0
PARAM_VALUE 0 op->timer.is_soft 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_left 0
PARAM_VALUE 0 op->timer.node.node.node.rb_right 0
PARAM_VALUE 0 op->timer.node.node.prev 0
PARAM_VALUE 1 hrt 4096-ptr_max
PARAM_VALUE 1 hrt->base 0,4096-ptr_max
PARAM_VALUE 1 hrt->is_hard 0
PARAM_VALUE 1 hrt->is_lazy 0
PARAM_VALUE 1 hrt->is_rel 0
PARAM_VALUE 1 hrt->is_soft 0
BUF_SIZE 0 op (-1),720
BUF_SIZE 0 op (-1),720
BUF_SIZE 0 op->frames (-1),16,72
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
DATA_SOURCE 0 op $0
FUZZY_MAX 0 op->cfsiz 72
BIT_INFO 0 op->flags 0x2,0xffffffff
NOSPEC 0 op->ifindex
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 op->ifindex s32min-(-1),1-s32max[c]
NO_OVERFLOW_SIMPLE 0 op->cfsiz
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/can/bcm.c bcm_tx_timeout_handler() -> bcm_tx_set_expiry()

Type Parameter Key Value
PARAM_VALUE 0 op 4096-ptr_max
PARAM_VALUE 0 op->bcm_tx_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 hrt 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 irq