Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/spi/spi-dw-core.c dw_spi_add_controller() -> dw_spi_hw_init()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 1 dws 4096-ptr_max
PARAM_VALUE 1 dws->ctlr 4096-ptr_max
PARAM_VALUE 1 dws->dma_addr 96
PARAM_VALUE 1 dws->dma_ops->can_dma 2843309497499529216
PARAM_VALUE 1 dws->dma_ops->dma_exit 9175558271167950848
PARAM_VALUE 1 dws->dma_ops->dma_init 4768873599615774720,6629875545388146688
PARAM_VALUE 1 dws->dma_ops->dma_setup 2492464816385597440
PARAM_VALUE 1 dws->dma_ops->dma_stop 1723165053594042368
PARAM_VALUE 1 dws->dma_ops->dma_transfer 2621918805698428928
PARAM_VALUE 1 dws->regs 4096-ptr_max
BUF_SIZE 1 dws 696
BUF_SIZE 1 dws->ctlr 2888-5752
BUF_SIZE 1 dws->irq s32min-(-1),1-s32max
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 dws $1
MEM_ZERO 1 dws
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/spi/spi-dw-core.c dw_spi_resume_controller() -> dw_spi_hw_init()

Type Parameter Key Value
PARAM_VALUE 1 dws 4096-ptr_max
BUF_SIZE 1 dws s32min-(-1),1-s32max
BUF_SIZE 1 dws s32min-(-1),1-s32max
DATA_SOURCE 1 dws $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 dws unit_byte
HALF_LOCKED2 &fsm->lock