Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/hsi/clients/hsi_char.c hsc_break_received() -> hsc_break_req_destructor()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->cl 4096-ptr_max
PARAM_VALUE 0 msg->complete 0,4096-ptr_max
PARAM_VALUE 0 msg->destructor 0,4096-ptr_max
PARAM_VALUE 0 msg->ttype 0
BUF_SIZE 0 msg (-1)-s32max
BUF_SIZE 0 msg (-1)-s32max
BUF_SIZE 0 msg->context (-1)-s32max
CAPPED_DATA 0 msg 1
DATA_SOURCE 0 msg $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->cl->rx_cfg.flow 0
USER_DATA 0 msg->cl->rx_cfg.num_hw_channels 1-16
NO_OVERFLOW_SIMPLE 0 msg->sgt.orig_nents

drivers/hsi/clients/hsi_char.c hsc_break_request() -> hsc_break_req_destructor()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->break_frame 1
PARAM_VALUE 0 msg->cl 4096-ptr_max
PARAM_VALUE 0 msg->cl->pclaimed 1
PARAM_VALUE 0 msg->complete 0,4096-ptr_max
PARAM_VALUE 0 msg->destructor 0,4096-ptr_max
PARAM_VALUE 0 msg->status 4
PARAM_VALUE 0 msg->ttype 0
BUF_SIZE 0 msg 80
CAPPED_DATA 0 msg 1
DATA_SOURCE 0 msg r hsi_alloc_msg
RX_PATH
NOCHECK_CALL
USER_DATA 0 msg->cl->rx_cfg.flow 0
USER_DATA 0 msg->cl->rx_cfg.num_hw_channels 1-16

drivers/hsi/controllers/omap_ssi_port.c ssi_flush_queue() -> (struct hsi_msg)->destructor()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->destructor 1-u64max
CONTAINER 0 -56+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &omap_port->lock
LOCK2 bh
HALF_LOCKED2 &port->lock
TYPE_LOCK (struct omap_ssi_port)->lock