Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/hid/intel-ish-hid/ipc/ipc.c recv_ipc() -> write_ipc_from_queue()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev_state 0-3,5-u32max
PARAM_VALUE 0 dev->hw 4096-ptr_max
PARAM_VALUE 0 dev->pdev 4096-ptr_max
PARAM_VALUE 0 dev->resume_flag 0
PARAM_VALUE 0 dev->suspend_flag 0
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/hid/intel-ish-hid/ipc/ipc.c write_ipc_to_queue() -> write_ipc_from_queue()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->devc->cma_area->nranges s32min-s32max
PARAM_VALUE 0 dev->ops->dma_no_cache_snooping 1204373158861713408
PARAM_VALUE 0 dev->ops->get_fw_status 4096-ptr_max
PARAM_VALUE 0 dev->ops->ipc_get_header 4096-ptr_max
PARAM_VALUE 0 dev->ops->ipc_reset 4096-ptr_max
PARAM_VALUE 0 dev->ops->write 4096-ptr_max
PARAM_VALUE 0 dev->wr_processing_list.prev 4096-ptr_max
PARAM_VALUE 0 dev->wr_processing_list.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->wr_processing_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 dev->wr_processing_spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *dev->pdev->saved_config_space 0-4294967295
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev->fw_loader_rx_buf (-1),124
CAPPED_DATA 0 &dev->wr_free_list 1
DATA_SOURCE 0 dev $0
PARAM_COMPARE 0 &dev->wr_free_list != $0->wr_free_list.next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->ishtp_msg_hdr 1-u32max
HOST_DATA 0 dev->pdev->current_state 0-3[c]
NO_OVERFLOW_SIMPLE 0 dev->fw_clients_num
NO_OVERFLOW_SIMPLE 0 dev->ishtp_dma_num_slots
HALF_LOCKED2 0 &dev->cl_list_lock
HALF_LOCKED2 0 &dev->read_list_spinlock