Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mailbox/mtk-cmdq-mailbox.c cmdq_init() -> cmdq_vm_init()

Type Parameter Key Value
PARAM_VALUE 0 cmdq 4096-ptr_max
PARAM_VALUE 0 cmdq->base 4096-ptr_max
PARAM_VALUE 0 cmdq->clocks 1-u64max
PARAM_VALUE 0 cmdq->clocks->clk 0
PARAM_VALUE 0 cmdq->clocks->id 0
PARAM_VALUE 0 cmdq->irq 1-s32max
PARAM_VALUE 0 cmdq->mbox.chans 1-u64max
PARAM_VALUE 0 cmdq->mbox.dev 4096-ptr_max
PARAM_VALUE 0 cmdq->mbox.dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 cmdq->mbox.dev->of_node 4096-ptr_max
PARAM_VALUE 0 cmdq->mbox.of_xlate 7844977062942588928
PARAM_VALUE 0 cmdq->mbox.ops 6045319111465103360
PARAM_VALUE 0 cmdq->mbox.txdone_irq 0
PARAM_VALUE 0 cmdq->mbox.txdone_poll 0
PARAM_VALUE 0 cmdq->pdata 4096-ptr_max
PARAM_VALUE 0 cmdq->pdata->thread_nr 0-s32max
PARAM_VALUE 0 cmdq->thread 1-u64max
BUF_SIZE 0 cmdq 272
BUF_SIZE 0 cmdq->irq s32min-(-1),1-s32max
BUF_SIZE 0 cmdq->mbox.chans 0-s32max
BUF_SIZE 0 cmdq->mbox.dev 1616
BUF_SIZE 0 cmdq->mbox.ops 48
BUF_SIZE 0 cmdq->thread 0-s32max
CAPPED_DATA 0 cmdq->irq_mask 1
CAPPED_DATA 0 cmdq->pdata->gce_num 1
CAPPED_DATA 0 cmdq->pdata->thread_nr 1
DATA_SOURCE 0 cmdq $0
MEM_ZERO 0 cmdq
MEM_ZERO 0 cmdq->mbox.chans
MEM_ZERO 0 cmdq->thread
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 cmdq->mbox.num_chans
NO_OVERFLOW_SIMPLE 0 cmdq->pdata->gce_num
NO_OVERFLOW_SIMPLE 0 cmdq->pdata->thread_nr