Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/cdx/controller/mcdi.c _cdx_mcdi_remove_cmd() -> cdx_cmd_cancelled()

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
BUF_SIZE 0 cmd->completer (-1),8
BUF_SIZE 0 cmd->inbuf (-1),8,12,28
CAPPED_DATA 0 cmd 1
DATA_SOURCE 0 cmd $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mcdi->iface_lock
HALF_LOCKED2 &mcdi->iface_lock
TYPE_LOCK (struct cdx_mcdi_iface)->iface_lock

drivers/cdx/controller/mcdi.c cdx_mcdi_complete_cmd() -> cdx_cmd_cancelled()

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
PARAM_VALUE 0 cmd->state 0-3,5-u32max
CAPPED_DATA 0 cmd 1
DATA_SOURCE 0 cmd $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &mcdi->iface_lock
HALF_LOCKED2 &channel->recv_lock
HALF_LOCKED2 &ept->cb_lock
TYPE_LOCK (struct cdx_mcdi_iface)->iface_lock