Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/rapidio/rio-scan.c rio_enum_host() -> rio_local_set_device_id()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->host_deviceid 0-u16max
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
CAPPED_DATA 0 port->host_deviceid 1
CAPPED_DATA 1 did 1
DATA_SOURCE 0 port $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &rio_mport_list_lock

drivers/rapidio/devices/rio_mport_cdev.c maint_hdid_set() -> rio_local_set_device_id()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->host_deviceid 0-u16max
NOCHECK_CALL
USER_DATA 0 port->host_deviceid 0-u16max
USER_DATA 1 did 0-u16max