Open Menu /

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.c rio_route_add_entry() -> rio_lock_device()

Type Parameter Key Value
PARAM_VALUE 3 wait_ms 1000
RX_PATH
TASK_NOT_RUNNING

drivers/rapidio/rio.c rio_route_clr_table() -> rio_lock_device()

Type Parameter Key Value
PARAM_VALUE 0 port 0,4096-ptr_max
PARAM_VALUE 3 wait_ms 1000
RX_PATH
TASK_NOT_RUNNING

drivers/rapidio/rio.c rio_route_get_entry() -> rio_lock_device()

Type Parameter Key Value
PARAM_VALUE 3 wait_ms 1000
RX_PATH
TASK_NOT_RUNNING

drivers/rapidio/rio-scan.c rio_build_route_tables() -> rio_lock_device()

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 3 wait_ms 1000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock

drivers/rapidio/rio-scan.c rio_disc_peer() -> rio_lock_device()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->host_deviceid 0-s32max
PARAM_VALUE 0 port->nscan->owner 0,4096-ptr_max
PARAM_VALUE 0 port->ops->pwenable 916948862413836288
PARAM_VALUE 3 wait_ms 1000
CAPPED_DATA 0 port->host_deviceid 1
DATA_SOURCE 0 port $1
DATA_SOURCE 1 destid $2
DATA_SOURCE 2 hopcount $3
FUZZY_MAX 0 port->host_deviceid 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]