Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/bridge/br_stp_if.c br_stp_start() -> __br_set_forward_delay()

Type Parameter Key Value
PARAM_VALUE 0 br 4096-ptr_max
PARAM_VALUE 0 br->bridge_forward_delay 0-499
PARAM_VALUE 0 br->dev 4096-ptr_max
PARAM_VALUE 0 br->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 br->mrp_list.first 0
PARAM_VALUE 0 br->stp_enabled 0
PARAM_VALUE 1 t 500
DATA_SOURCE 0 br $0
FUZZY_MAX 0 br->bridge_forward_delay 499
HARD_MAX 0 br->bridge_forward_delay 499
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 0 &br->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct net_bridge)->lock

net/bridge/br_stp_if.c br_stp_start() -> __br_set_forward_delay()

Type Parameter Key Value
PARAM_VALUE 0 br 4096-ptr_max
PARAM_VALUE 0 br->bridge_forward_delay 7501-u64max
PARAM_VALUE 0 br->dev 4096-ptr_max
PARAM_VALUE 0 br->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 br->mrp_list.first 0
PARAM_VALUE 0 br->stp_enabled 0
PARAM_VALUE 1 t 7500
DATA_SOURCE 0 br $0
FUZZY_MAX 0 br->bridge_forward_delay 7501
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 0 &br->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct net_bridge)->lock

net/bridge/br_stp.c br_set_forward_delay() -> __br_set_forward_delay()

Type Parameter Key Value
PARAM_VALUE 0 br 4096-ptr_max
PARAM_VALUE 0 br->lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 br $0
DATA_SOURCE 1 t r clock_t_to_jiffies
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 0 &br->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct net_bridge)->lock