Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/hid/intel-ish-hid/ishtp-fw-loader.c load_fw_from_host() -> ish_fw_start()

Type Parameter Key Value
PARAM_VALUE 0 client_data 4096-ptr_max
PARAM_VALUE 0 client_data->cl_device 4096-ptr_max
PARAM_VALUE 0 client_data->flag_retry 0
PARAM_VALUE 0 client_data->loader_ishtp_cl 4096-ptr_max
PARAM_VALUE 0 client_data->loader_ishtp_cl->dev->dev_state 2
PARAM_VALUE 0 client_data->loader_ishtp_cl->dev->fw_clients_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 client_data->loader_ishtp_cl->dev->ipc_tx_cnt 0-4294967295
PARAM_VALUE 0 client_data->loader_ishtp_cl->dev->ishtp_dma_tx_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 client_data->loader_ishtp_cl->err_send_msg 0-4294967295
PARAM_VALUE 0 client_data->loader_ishtp_cl->ishtp_flow_ctrl_creds 0-255
PARAM_VALUE 0 client_data->loader_ishtp_cl->last_dma_acked s32min-s32max
PARAM_VALUE 0 client_data->loader_ishtp_cl->last_ipc_acked s32min-s32max
PARAM_VALUE 0 client_data->loader_ishtp_cl->last_tx_path s32min-s32max
PARAM_VALUE 0 client_data->loader_ishtp_cl->send_msg_cnt_dma 0-4294967295
PARAM_VALUE 0 client_data->loader_ishtp_cl->send_msg_cnt_ipc 0-4294967295
PARAM_VALUE 0 client_data->loader_ishtp_cl->sending s32min-s32max
PARAM_VALUE 0 client_data->loader_ishtp_cl->state 2
PARAM_VALUE 0 client_data->loader_ishtp_cl->tx_free_list_spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 client_data->loader_ishtp_cl->tx_list_spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 client_data->loader_ishtp_cl->tx_ring_free_size s32min-s32max
PARAM_VALUE 0 client_data->response.data 901171400330444800,2477437927135395840,5463181059097505792
PARAM_VALUE 0 client_data->response.error 0
PARAM_VALUE 0 client_data->response.max_size 4,32
PARAM_VALUE 0 client_data->response.size 32
PARAM_VALUE 0 *client_data->loader_ishtp_cl->dev->ishtp_dma_tx_map 1
PARAM_VALUE 0 *client_data->loader_ishtp_cl->last_dma_addr 0-255
PARAM_VALUE 0 *client_data->response.data 0-255
CAPPED_DATA 0 client_data->loader_ishtp_cl->dev->fw_clients_num 1
DATA_SOURCE 0 client_data $0
PARAM_COMPARE 0 &client_data->loader_ishtp_cl->tx_free_list.list != $0->loader_ishtp_cl->tx_free_list.list.next
HALF_LOCKED2 &pool->lock