Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/phy/sfp.c sfp_sm_mod_next() -> sfp_sm_set_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sfp | 4096-ptr_max |
| PARAM_VALUE | 0 | sfp->quirk->support | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sfp->sfp_bus->registered | 0-1 |
| PARAM_VALUE | 0 | sfp->sfp_bus->socket_ops | 0-s64max |
| PARAM_VALUE | 0 | sfp->sm_mod_state | 0-6 |
| PARAM_VALUE | 0 | sfp->sm_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sfp->sm_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sfp->sm_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sfp->sm_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | sfp->sm_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sfp->sm_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sfp->sm_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | sfp->sm_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sfp->sm_mutex.wait_lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 1 | timeout | 0-536870912 |
| BUF_SIZE | 0 | sfp | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sfp | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sfp->dev | (-1),1616 |
| BUF_SIZE | 0 | sfp->type | (-1),16 |
| DATA_SOURCE | 0 | sfp | $0 |
| DATA_SOURCE | 1 | timeout | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sfp | unit_byte |
| LOCK2 | 0 | &sfp->sm_mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| TYPE_LOCK | (struct sfp)->sm_mutex |
drivers/net/phy/sfp.c sfp_sm_module() -> sfp_sm_set_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sfp | 4096-ptr_max |
| PARAM_VALUE | 0 | sfp->i2c->bus_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->pm.bus_locked | 0-1 |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->pm.mutex->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->pm.mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->pm.mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->pm.mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->pm.mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->pm.mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->pm.mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->powerplay.pp_handle->msg_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sfp->read | 4096-ptr_max |
| PARAM_VALUE | 0 | sfp->sm_mod_state | 2 |
| PARAM_VALUE | 0 | sfp->sm_mod_tries_init | 1-255 |
| PARAM_VALUE | 0 | sfp->sm_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sfp->sm_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sfp->sm_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sfp->sm_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | sfp->sm_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sfp->sm_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sfp->sm_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | sfp->sm_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | timeout | 0-536870912 |
| BUF_SIZE | 0 | sfp | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sfp | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sfp->dev | (-1),1616 |
| BUF_SIZE | 0 | sfp->type | (-1),16 |
| DATA_SOURCE | 0 | sfp | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sfp | unit_byte |
| LOCK2 | 0 | &sfp->sm_mutex | |
| HALF_LOCKED2 | global &rtnl_mutex | ||
| TYPE_LOCK | (struct sfp)->sm_mutex |
drivers/net/phy/sfp.c sfp_sm_module() -> sfp_sm_set_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sfp | 4096-ptr_max |
| PARAM_VALUE | 0 | sfp->i2c->bus_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->pm.bus_locked | 0-1 |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->pm.mutex->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->pm.mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->pm.mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->pm.mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->pm.mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->pm.mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->pm.mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->powerplay.pp_handle->msg_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sfp->read | 4096-ptr_max |
| PARAM_VALUE | 0 | sfp->sm_mod_state | 2 |
| PARAM_VALUE | 0 | sfp->sm_mod_tries | 1-255 |
| PARAM_VALUE | 0 | sfp->sm_mod_tries_init | 0 |
| PARAM_VALUE | 0 | sfp->sm_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sfp->sm_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sfp->sm_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sfp->sm_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | sfp->sm_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sfp->sm_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sfp->sm_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | sfp->sm_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | timeout | 0-536870912 |
| BUF_SIZE | 0 | sfp | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sfp | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sfp->dev | (-1),1616 |
| BUF_SIZE | 0 | sfp->type | (-1),16 |
| DATA_SOURCE | 0 | sfp | $0 |
| FUZZY_MAX | 0 | sfp->sm_mod_tries | 11 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sfp | unit_byte |
| LOCK2 | 0 | &sfp->sm_mutex | |
| HALF_LOCKED2 | global &rtnl_mutex | ||
| TYPE_LOCK | (struct sfp)->sm_mutex |
drivers/net/phy/sfp.c sfp_sm_module() -> sfp_sm_set_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sfp | 4096-ptr_max |
| PARAM_VALUE | 0 | sfp->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sfp->dev->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sfp->dev->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sfp->dev->driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sfp->have_a2 | 1 |
| PARAM_VALUE | 0 | sfp->hwmon_probe.timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | sfp->hwmon_tries | 12 |
| PARAM_VALUE | 0 | sfp->i2c->bus_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->pm.bus_locked | 0-1 |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->pm.mutex->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->pm.mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->pm.mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->pm.mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->pm.mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->pm.mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->pm.mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->adev->powerplay.pp_handle->msg_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sfp->i2c->dev.driver_data->mutex->wait_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | sfp->id.base.phys_ext_id | 4 |
| PARAM_VALUE | 0 | sfp->id.base.phys_id | 2-3 |
| PARAM_VALUE | 0 | sfp->mdio_protocol | 0-3 |
| PARAM_VALUE | 0 | sfp->module_power_mW | 1500,2000 |
| PARAM_VALUE | 0 | sfp->module_t_start_up | 0-536870912 |
| PARAM_VALUE | 0 | sfp->module_t_wait | 0-536870912 |
| PARAM_VALUE | 0 | sfp->phy_t_retry | 0-536870912 |
| PARAM_VALUE | 0 | sfp->poll.cpu | 0-s32max |
| PARAM_VALUE | 0 | sfp->poll.timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | sfp->quirk | 0,6128196384776769536 |
| PARAM_VALUE | 0 | sfp->quirk->support | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sfp->read | 4096-ptr_max |
| PARAM_VALUE | 0 | sfp->rs_state_mask | 0,16,32,48 |
| PARAM_VALUE | 0 | sfp->rs_threshold_kbd | 0,1594,2124,4250,9000 |
| PARAM_VALUE | 0 | sfp->sfp_bus | 4096-ptr_max |
| PARAM_VALUE | 0 | sfp->sfp_bus->caps.link_modes | 4096-ptr_max |
| PARAM_VALUE | 0 | sfp->sfp_bus->caps.port | 0,3,5,255 |
| PARAM_VALUE | 0 | sfp->sfp_bus->upstream->config->mac_capabilities | 0-4294967295 |
| PARAM_VALUE | 0 | sfp->sfp_bus->upstream->port | 0,3,5,255 |
| PARAM_VALUE | 0 | sfp->sfp_bus->upstream->sfp_may_have_phy | 0-1 |
| PARAM_VALUE | 0 | sfp->sfp_bus->upstream->sfp_port | 0-255 |
| PARAM_VALUE | 0 | sfp->sm_dev_state | 1-255 |
| PARAM_VALUE | 0 | sfp->sm_mod_state | 4 |
| PARAM_VALUE | 0 | sfp->sm_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sfp->sm_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sfp->sm_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sfp->sm_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | sfp->sm_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sfp->sm_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sfp->sm_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | sfp->sm_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sfp->st_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sfp->st_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sfp->st_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sfp->st_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sfp->st_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | sfp->st_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | sfp->st_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | sfp->st_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | sfp->st_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sfp->state_hw_mask | 0-63 |
| PARAM_VALUE | 0 | sfp->state_ignore_mask | 0,2,4,6 |
| PARAM_VALUE | 0 | sfp->timeout.timer.entry->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | *sfp->sfp_bus->upstream->netdev->name | 0-255 |
| PARAM_VALUE | 1 | timeout | 0-536870912 |
| BUF_SIZE | 0 | sfp | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sfp | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sfp->dev | (-1),1616 |
| BUF_SIZE | 0 | sfp->type | (-1),16 |
| DATA_SOURCE | 0 | sfp | $0 |
| FUZZY_MAX | 0 | sfp->sm_dev_state | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sfp | unit_byte |
| LOCK2 | 0 | &sfp->sm_mutex | |
| HALF_LOCKED2 | global &rtnl_mutex | ||
| TYPE_LOCK | (struct sfp)->sm_mutex |
drivers/net/phy/sfp.c sfp_sm_next() -> sfp_sm_set_timer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sfp | 4096-ptr_max |
| PARAM_VALUE | 0 | sfp->sfp_bus->registered | 0-1 |
| PARAM_VALUE | 0 | sfp->sfp_bus->socket_ops | 0-s64max |
| PARAM_VALUE | 0 | sfp->sm_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sfp->sm_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sfp->sm_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | sfp->sm_state | 0-10 |
| PARAM_VALUE | 0 | sfp->timeout->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | sfp->timeout.work.entry.next->next | 1-u64max |
| PARAM_VALUE | 0 | sfp->timeout.work.entry.prev->next | 1-u64max |
| PARAM_VALUE | 0 | sfp->timeout.work.entry.prev->prev | 1-u64max |
| BUF_SIZE | 0 | sfp | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sfp | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sfp->dev | (-1),1616 |
| BUF_SIZE | 0 | sfp->type | (-1),16 |
| DATA_SOURCE | 0 | sfp | $0 |
| DATA_SOURCE | 1 | timeout | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | sfp | unit_byte |
| LOCK2 | 0 | &sfp->sm_mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| TYPE_LOCK | (struct sfp)->sm_mutex |