Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mailbox/mtk-cmdq-mailbox.c cmdq_mbox_send_data() -> cmdq_thread_reset()

Type Parameter Key Value
PARAM_VALUE 0 cmdq 4096-ptr_max
PARAM_VALUE 1 thread 4096-ptr_max
PARAM_VALUE 1 thread->task_busy_list.next 4096-ptr_max
BUF_SIZE 0 cmdq s32min-(-2),1-s32max
BUF_SIZE 0 cmdq s32min-(-2),1-s32max
BUF_SIZE 1 thread 4,16,160,248,312,344,664,680,27168
BUF_SIZE 1 thread 4,16,160,248,312,344,664,680,27168
CAPPED_DATA 1 &thread->task_busy_list 1
PARAM_COMPARE 1 &thread->task_busy_list == $1->task_busy_list.next
TASK_NOT_RUNNING
UNITS 0 cmdq unit_byte
UNITS 1 thread unit_array_size
LOCK2 &chan->lock
LOCK2 irq
TYPE_LOCK (struct mbox_chan)->lock

drivers/mailbox/mtk-cmdq-mailbox.c cmdq_thread_disable() -> cmdq_thread_reset()

Type Parameter Key Value
PARAM_VALUE 0 cmdq 4096-ptr_max
PARAM_VALUE 0 cmdq->mbox.dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 1 thread 4096-ptr_max
BUF_SIZE 0 cmdq s32min-(-1),1-s32max
BUF_SIZE 0 cmdq s32min-(-1),1-s32max
BUF_SIZE 1 thread (-1),4,16,160,248,312,344,664,680
BUF_SIZE 1 thread (-1),4,16,160,248,312,344,664,680
DATA_SOURCE 0 cmdq $0
DATA_SOURCE 1 thread $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 cmdq unit_byte
UNITS 1 thread unit_array_size
LOCK2 1 &thread->chan->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct mbox_chan)->lock