Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/hsr/hsr_framereg.c hsr_get_node_data() -> fill_last_seq_nrs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | node | 4096-ptr_max |
| PARAM_VALUE | 0 | node->macaddress_A | 4096-ptr_max |
| PARAM_VALUE | 0 | node->macaddress_B | 4096-ptr_max |
| PARAM_VALUE | 0 | node->time_in | 4096-ptr_max |
| PARAM_VALUE | 0 | node->time_in_stale | 4096-ptr_max |
| PARAM_VALUE | 1 | if1_seq | 2083406697231257600 |
| PARAM_VALUE | 1 | *if1_seq | 0 |
| PARAM_VALUE | 2 | if2_seq | 9161837099134287872 |
| PARAM_VALUE | 2 | *if2_seq | 0 |
| DATA_SOURCE | 0 | node | r find_node_by_addr_A |
| DATA_SOURCE | 1 | if1_seq | $5 |
| DATA_SOURCE | 2 | if2_seq | $7 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &dev->lock | ||
| HALF_LOCKED2 | &devlink->lock | ||
| HALF_LOCKED2 | &net->xfrm.xfrm_cfg_mutex | ||
| HALF_LOCKED2 | global &audit_cmd_mutex.lock | ||
| HALF_LOCKED2 | global &cb_lock | ||
| HALF_LOCKED2 | global &crypto_cfg_mutex | ||
| HALF_LOCKED2 | global &dpll_lock | ||
| HALF_LOCKED2 | global &hwsim_phys_lock | ||
| HALF_LOCKED2 | global &net_dm_mutex | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| HALF_LOCKED2 | global &rx_queue_mutex |