Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/rapidio/rio-scan.c rio_enum_mport() -> rio_enable_rx_tx_port()

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 1 local 1
PARAM_VALUE 2 destid 0
PARAM_VALUE 3 hopcount 0
PARAM_VALUE 4 port_num 0
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-scan.c rio_enum_peer() -> rio_enable_rx_tx_port()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->host_deviceid 0-u16max
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 local 0
PARAM_VALUE 2 destid 255,u16max
PARAM_VALUE 4 port_num 0
CAPPED_DATA 0 port->host_deviceid 1
DATA_SOURCE 0 port $1
DATA_SOURCE 3 hopcount $2
FUZZY_MAX 2 destid u16max
PARAM_COMPARE 0 port->priv->mdma.bd_base == $0->sys_size
HARD_MAX 2 destid u16max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/rapidio/rio-scan.c rio_enum_peer() -> rio_enable_rx_tx_port()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->host_deviceid 0-u16max
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 local 0
PARAM_VALUE 2 destid 255,u16max
PARAM_VALUE 4 port_num 0-254
CAPPED_DATA 0 port->host_deviceid 1
CAPPED_DATA 4 port_num 1
DATA_SOURCE 0 port $1
DATA_SOURCE 3 hopcount $2
FUZZY_MAX 2 destid u16max
PARAM_COMPARE 0 port->priv->mdma.bd_base == $0->sys_size
HARD_MAX 2 destid u16max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/rapidio/rio-scan.c rio_setup_device() -> rio_enable_rx_tx_port()

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 local 0
PARAM_VALUE 2 destid 255,u16max
PARAM_VALUE 4 port_num 0
CAPPED_DATA 0 port->host_deviceid 1
DATA_SOURCE 0 port $1
DATA_SOURCE 2 destid $2
DATA_SOURCE 3 hopcount $3
FUZZY_MAX 2 destid u16max
PARAM_COMPARE 0 port->priv->mdma.bd_base == $0->sys_size
HARD_MAX 2 destid u16max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL