Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/hsi/clients/hsi_char.c __hsc_port_release() -> hsi_release_port()

Type Parameter Key Value
PARAM_VALUE 0 cl 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &cl_data->lock
TYPE_LOCK (struct hsc_client_data)->lock

drivers/hsi/clients/ssi_protocol.c ssip_pn_open() -> hsi_release_port()

Type Parameter Key Value
PARAM_VALUE 0 cl 4096-ptr_max
PARAM_VALUE 0 cl->device.bus 0,4096-ptr_max
PARAM_VALUE 0 cl->device.class 0,4096-ptr_max
PARAM_VALUE 0 cl->device.driver 0,4096-ptr_max
PARAM_VALUE 0 cl->pclaimed 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 cl unit_byte
HALF_LOCKED2 global &rtnl_mutex

drivers/hsi/clients/ssi_protocol.c ssip_pn_stop() -> hsi_release_port()

Type Parameter Key Value
PARAM_VALUE 0 cl 4096-ptr_max
PARAM_VALUE 0 cl->device.driver_data 4096-ptr_max
PARAM_VALUE 0 cl->device.driver_data->flags 0
PARAM_VALUE 0 cl->device.driver_data->keep_alive.flags 0-4194302
PARAM_VALUE 0 cl->device.driver_data->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 cl->device.driver_data->main_state 0
PARAM_VALUE 0 cl->device.driver_data->netdev 4096-ptr_max
PARAM_VALUE 0 cl->device.driver_data->netdev->carrier_down_count.counter s32min-s32max
PARAM_VALUE 0 cl->device.driver_data->netdev->refcnt_tracker.untracked.refs.counter s32min-s32max
PARAM_VALUE 0 cl->device.driver_data->recv_state 0
PARAM_VALUE 0 cl->device.driver_data->rx_wd.flags 0-4194302
PARAM_VALUE 0 cl->device.driver_data->rx_wd.function 0
PARAM_VALUE 0 cl->device.driver_data->rxid 0
PARAM_VALUE 0 cl->device.driver_data->send_state 0
PARAM_VALUE 0 cl->device.driver_data->tx_wd.flags 0-4194302
PARAM_VALUE 0 cl->device.driver_data->tx_wd.function 0
PARAM_VALUE 0 cl->device.driver_data->txid 0
PARAM_VALUE 0 cl->device.driver_data->txqueue_len 0
PARAM_VALUE 0 cl->device.driver_data->work.lockdep_map->name 0-255
PARAM_VALUE 0 *cl->device.driver_data->netdev->pcpu_refcnt s32min-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 cl unit_byte
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &rdev->wiphy.mtx
HALF_LOCKED2 global &rtnl_mutex

drivers/hsi/clients/cmt_speech.c cs_hsi_start() -> hsi_release_port()

Type Parameter Key Value
PARAM_VALUE 0 cl 4096-ptr_max
PARAM_VALUE 0 cl->device.bus 0,4096-ptr_max
PARAM_VALUE 0 cl->device.class 0,4096-ptr_max
PARAM_VALUE 0 cl->device.driver 0,4096-ptr_max
PARAM_VALUE 0 cl->pclaimed 1
DATA_SOURCE 0 cl $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/hsi/clients/cmt_speech.c cs_hsi_stop() -> hsi_release_port()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL