Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/can/dev/calc_bittiming.c can_calc_bittiming() -> can_sjw_check()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->rtnl_link_ops 4096-ptr_max
PARAM_VALUE 1 bt 1951070362449272832,5315314573305794560
PARAM_VALUE 1 bt->bitrate 1-u32max
PARAM_VALUE 1 bt->sjw 1-u32max
PARAM_VALUE 2 btc 4096-ptr_max
PARAM_VALUE 3 extack 4971238048455385088
PARAM_VALUE 3 extack->bad_attr 0
PARAM_VALUE 3 extack->cookie_len 0
PARAM_VALUE 3 extack->miss_nest 0
PARAM_VALUE 3 extack->miss_type 0
PARAM_VALUE 3 extack->policy 0
CAPPED_DATA 0 dev->rtnl_link_ops 1
CAPPED_DATA 1 bt->sample_point 1
CAPPED_DATA 1 bt->tq 1
CAPPED_DATA 2 btc 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 bt $1
DATA_SOURCE 2 btc $2
DATA_SOURCE 3 extack $3
BIT_INFO 0 dev->flags 0x0,0xfffffffe
BIT_INFO 1 bt->sample_point 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &ops->srcu
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rx_queue_mutex

drivers/net/can/dev/bittiming.c can_fixup_bittiming() -> can_sjw_check()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->rtnl_link_ops 4096-ptr_max
PARAM_VALUE 1 bt 1951070362449272832,5315314573305794560
PARAM_VALUE 1 bt->bitrate 0
PARAM_VALUE 1 bt->sjw 1-u32max
PARAM_VALUE 1 bt->tq 1-u32max
PARAM_VALUE 2 btc 4096-ptr_max
PARAM_VALUE 3 extack 4971238048455385088
PARAM_VALUE 3 extack->bad_attr 0
PARAM_VALUE 3 extack->cookie_len 0
PARAM_VALUE 3 extack->miss_nest 0
PARAM_VALUE 3 extack->miss_type 0
PARAM_VALUE 3 extack->policy 0
CAPPED_DATA 0 dev->rtnl_link_ops 1
CAPPED_DATA 1 bt->phase_seg2 1
CAPPED_DATA 2 btc->tseg1_min 1
CAPPED_DATA 2 btc->tseg2_min 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 bt $1
DATA_SOURCE 2 btc $2
DATA_SOURCE 3 extack $3
PARAM_COMPARE 1 bt->phase_seg2 <= $2->tseg2_max
PARAM_COMPARE 1 bt->phase_seg2 >= $2->tseg2_min
PARAM_COMPARE 2 btc->tseg1_max >= $2->tseg1_min
PARAM_COMPARE 2 btc->tseg2_max >= $2->tseg2_min
BIT_INFO 0 dev->flags 0x0,0xfffffffe
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &ops->srcu
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rx_queue_mutex