Documented in 1 files:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
drivers/rapidio/rio.c rio_enable_rx_tx_port() -> rio_local_read_config_32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->host_deviceid | 0-u16max |
| PARAM_VALUE | 0 | port->net | 4096-ptr_max |
| PARAM_VALUE | 0 | port->net->devices.next | 4096-ptr_max |
| PARAM_VALUE | 0 | port->net->devices.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | port->net->mports.next | 4096-ptr_max |
| PARAM_VALUE | 0 | port->net->mports.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | port->net->node.next | 4096-ptr_max |
| PARAM_VALUE | 0 | port->net->node.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | port->net->switches.next | 4096-ptr_max |
| PARAM_VALUE | 0 | port->net->switches.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | port->nnode.next | 0 |
| PARAM_VALUE | 0 | port->nnode.prev | 0 |
| PARAM_VALUE | 0 | port->nscan | 4096-ptr_max |
| PARAM_VALUE | 0 | port->nscan->owner | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->nscan->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | port->nscan->owner->state | 0-1,3-u32max |
| PARAM_VALUE | 0 | port->ops->pwenable | 916948862413836288 |
| PARAM_VALUE | 1 | offset | 92,65627 |
| PARAM_VALUE | 2 | data | 5128508714379812864 |
| CAPPED_DATA | 0 | port->host_deviceid | 1 |
| DATA_SOURCE | 0 | port | $0 |
| FUZZY_MAX | 0 | port->host_deviceid | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | global &rio_mport_list_lock |
drivers/rapidio/rio.c rio_local_get_device_id() -> rio_local_read_config_32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->id | 0-7 |
| PARAM_VALUE | 1 | offset | 96 |
| PARAM_VALUE | 2 | data | 3066141142397374464 |
| DATA_SOURCE | 0 | port | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &sp->mutex | ||
| TYPE_LOCK | (struct subsys_private)->mutex |
drivers/rapidio/rio.c rio_mport_get_efb() -> rio_local_read_config_32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->nscan->owner | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->pwenable | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 12 |
| PARAM_VALUE | 2 | data | 7002940877803376640 |
| DATA_SOURCE | 0 | port | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | port->host_deviceid | 0-u16max[c] |
drivers/rapidio/rio.c rio_mport_get_efb() -> rio_local_read_config_32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->nscan->owner | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->pwenable | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | u16max |
| PARAM_VALUE | 2 | data | 7002940877803376640 |
| DATA_SOURCE | 0 | port | $0 |
| DATA_SOURCE | 1 | offset | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | port->host_deviceid | 0-u16max[c] |
| HOST_DATA | 1 | offset | u16max[c] |
drivers/rapidio/rio.c rio_mport_get_feature() -> rio_local_read_config_32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->nscan->owner | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->pwenable | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 12 |
| PARAM_VALUE | 2 | data | 8733163447295877120 |
| DATA_SOURCE | 0 | port | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | port->host_deviceid | 0-u16max[c] |
drivers/rapidio/rio.c rio_mport_get_feature() -> rio_local_read_config_32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->nscan->owner | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->pwenable | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 1-u16max |
| PARAM_VALUE | 2 | data | 5143028617361502208 |
| CAPPED_DATA | 1 | offset | 1 |
| DATA_SOURCE | 0 | port | $0 |
| PARAM_COMPARE | 0 | port->priv->mdma.bd_base | == $0->sys_size |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | port->host_deviceid | 0-u16max[c] |
| HOST_DATA | 1 | offset | 1-u16max[c] |
| HOST_DATA | 2 | *data | 0-u32max |
drivers/rapidio/rio.c rio_mport_get_physefb() -> rio_local_read_config_32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->host_deviceid | 0-u16max |
| PARAM_VALUE | 0 | port->net->release | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->nscan->owner | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->nscan->owner->state | 0-1,3-u32max |
| PARAM_VALUE | 0 | port->ops->pwenable | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 1-u16max |
| PARAM_VALUE | 2 | data | 6952608581287358464 |
| CAPPED_DATA | 0 | port->host_deviceid | 1 |
| CAPPED_DATA | 1 | offset | 1 |
| DATA_SOURCE | 0 | port | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | offset | 1-u16max[c] |
| HOST_DATA | 2 | *data | 0,7-8,10-16,20-24,26-u16max |
drivers/rapidio/rio-scan.c rio_clear_locks() -> rio_local_read_config_32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->net | 4096-ptr_max |
| PARAM_VALUE | 0 | port->nscan | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 104 |
| PARAM_VALUE | 2 | data | 5619164756727619584 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | global &rio_mport_list_lock |
drivers/rapidio/rio-scan.c rio_disc_mport() -> rio_local_read_config_32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->net | 4096-ptr_max |
| PARAM_VALUE | 0 | port->net->devices.next | 4096-ptr_max |
| PARAM_VALUE | 0 | port->net->devices.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | port->net->mports.next | 4096-ptr_max |
| PARAM_VALUE | 0 | port->net->mports.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | port->net->node.next | 4096-ptr_max |
| PARAM_VALUE | 0 | port->net->node.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | port->net->switches.next | 4096-ptr_max |
| PARAM_VALUE | 0 | port->net->switches.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | port->nscan | 4096-ptr_max |
| PARAM_VALUE | 0 | port->nscan->owner | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->nscan->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | port->nscan->owner->state | 0-1,3-u32max |
| PARAM_VALUE | 1 | offset | 96 |
| PARAM_VALUE | 2 | data | 4096-ptr_max |
| DATA_SOURCE | 0 | port | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &pool->lock |
drivers/rapidio/rio-scan.c rio_enum_complete() -> rio_local_read_config_32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->nscan | 4096-ptr_max |
| PARAM_VALUE | 0 | port->nscan->owner | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->nscan->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | port->nscan->owner->state | 0-1,3-u32max |
| PARAM_VALUE | 2 | data | 7432453166656663552 |
| DATA_SOURCE | 0 | port | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &pool->lock |
drivers/rapidio/rio-scan.c rio_enum_host() -> rio_local_read_config_32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->host_deviceid | 0-s32max |
| PARAM_VALUE | 0 | port->nnode.next | 0 |
| PARAM_VALUE | 0 | port->nnode.prev | 0 |
| PARAM_VALUE | 0 | port->nscan | 4096-ptr_max |
| PARAM_VALUE | 0 | port->nscan->owner | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->nscan->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | port->nscan->owner->state | 0-1,3-u32max |
| PARAM_VALUE | 1 | offset | 104 |
| PARAM_VALUE | 2 | data | 4307360677922992128 |
| DATA_SOURCE | 0 | port | $0 |
| FUZZY_MAX | 0 | port->host_deviceid | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | global &rio_mport_list_lock |
drivers/rapidio/rio-scan.c rio_mport_is_active() -> rio_local_read_config_32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->nscan | 4096-ptr_max |
| PARAM_VALUE | 0 | port->nscan->owner | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->nscan->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | port->nscan->owner->state | 0-1,3-u32max |
| PARAM_VALUE | 2 | data | 1135358172021157888 |
| PARAM_VALUE | 2 | *data | 0 |
| DATA_SOURCE | 0 | port | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &of->mutex |
drivers/net/rionet.c rionet_add_dev() -> rio_local_read_config_32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->id | 0-7 |
| PARAM_VALUE | 1 | offset | 24 |
| PARAM_VALUE | 2 | data | 2302410616256061440 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &sp->mutex | ||
| TYPE_LOCK | (struct subsys_private)->mutex |
drivers/net/rionet.c rionet_add_dev() -> rio_local_read_config_32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->id | 0-7 |
| PARAM_VALUE | 1 | offset | 28 |
| PARAM_VALUE | 2 | data | 2313945649402093568 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &sp->mutex | ||
| TYPE_LOCK | (struct subsys_private)->mutex |