Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/soundwire/cadence_master.c _cdns_xfer_msg() -> cdns_read_response()

Type Parameter Key Value
PARAM_VALUE 0 cdns 4096-ptr_max
PARAM_VALUE 0 cdns->dev 0,4096-ptr_max
PARAM_VALUE 0 cdns->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 cdns->dev->class 0,4096-ptr_max
PARAM_VALUE 0 cdns->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 cdns->msg_count 0-8
PARAM_VALUE 0 cdns->tx_complete.done 0-4294967293,u32max
PARAM_VALUE 0 cdns->tx_complete.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 cdns->tx_complete.wait.lock.owner (-1)
PARAM_VALUE 0 cdns->tx_complete.wait.lock.owner_cpu u32max
PARAM_VALUE 0 cdns->tx_complete.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 cdns->tx_complete.wait.task_list.prev->next->next 4096-ptr_max
CAPPED_DATA 0 cdns->msg_count 1
DATA_SOURCE 0 cdns $0
NOSPEC 0 cdns->msg_count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 cdns->msg_count 0-7[c]
USER_DATA 0 cdns->msg_count 0-7[c]
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &bus->bus_lock
HALF_LOCKED2 &bus->msg_lock

drivers/soundwire/cadence_master.c sdw_cdns_irq() -> cdns_read_response()

Type Parameter Key Value
PARAM_VALUE 0 cdns 4096-ptr_max
PARAM_VALUE 0 cdns->link_up 1
DATA_SOURCE 0 cdns $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 cdns unit_byte
HALF_LOCKED2 _T->lock