Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 10 files:

Smatch caller information:

drivers/i2c/busses/i2c-qcom-geni.c geni_i2c_gpi() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 2 xferred 0
BUF_SIZE 0 buf s32min-(-2),1-s32max
DATA_SOURCE 0 buf r i2c_get_dma_safe_msg_buf
NOCHECK_CALL

drivers/i2c/busses/i2c-qcom-geni.c geni_i2c_gpi() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 2 xferred 0
BUF_SIZE 0 buf s32min-(-2),1-s32max
DATA_SOURCE 0 buf r i2c_get_dma_safe_msg_buf
NOCHECK_CALL

drivers/i2c/busses/i2c-qcom-geni.c geni_i2c_gpi_unmap() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
PARAM_VALUE 1 msg 4096-ptr_max
BUF_SIZE 0 buf s32min-(-1),1-s32max
DATA_SOURCE 0 buf $2
DATA_SOURCE 1 msg $1
NOCHECK_CALL

drivers/i2c/busses/i2c-qcom-geni.c geni_i2c_gpi_unmap() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
PARAM_VALUE 1 msg 4096-ptr_max
DATA_SOURCE 0 buf $4
DATA_SOURCE 1 msg $1
NOCHECK_CALL

drivers/i2c/busses/i2c-qcom-geni.c geni_i2c_rx_msg_cleanup() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
PARAM_VALUE 1 msg 4096-ptr_max
DATA_SOURCE 1 msg $1
RX_PATH
NOCHECK_CALL

drivers/i2c/busses/i2c-qcom-geni.c geni_i2c_rx_one_msg() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->flags 1-u16max
PARAM_VALUE 1 msg->len 1-u16max
PARAM_VALUE 2 xferred 0
BUF_SIZE 0 buf s32min-(-2),1-s32max
CAPPED_DATA 1 msg->len 1
DATA_SOURCE 1 msg $1
RX_PATH
NOCHECK_CALL

drivers/i2c/busses/i2c-qcom-geni.c geni_i2c_tx_msg_cleanup() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
PARAM_VALUE 1 msg 4096-ptr_max
DATA_SOURCE 1 msg $1
NOCHECK_CALL

drivers/i2c/busses/i2c-qcom-geni.c geni_i2c_tx_one_msg() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->len 1-u16max
PARAM_VALUE 2 xferred 0
BUF_SIZE 0 buf s32min-(-2),1-s32max
CAPPED_DATA 1 msg->len 1
DATA_SOURCE 1 msg $1
NOCHECK_CALL

drivers/i2c/busses/i2c-at91-master.c at91_twi_xfer() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 1 msg 4096-ptr_max
BUF_SIZE 0 buf s32min-(-2),0-s32max
BUF_SIZE 0 buf s32min-(-2),0-s32max
NOCHECK_CALL

drivers/i2c/busses/i2c-amd-mp2-plat.c i2c_amd_dma_unmap() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->len 33-u16max
PARAM_VALUE 2 xferred 1
FUZZY_MAX 1 msg->len 33
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &i2c_common->mp2_dev->c2p_lock
TYPE_LOCK (struct amd_mp2_dev)->c2p_lock

drivers/i2c/busses/i2c-mt65xx.c mtk_i2c_do_transfer() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->buf 1-u64max
PARAM_VALUE 1 msg->len 1-u16max
PARAM_VALUE 2 xferred 0
BUF_SIZE 0 buf s32min-(-2),1-s32max
BUF_SIZE 0 buf s32min-(-2),1-s32max
CAPPED_DATA 0 buf 1
CAPPED_DATA 1 msg->len 1
DATA_SOURCE 0 buf r i2c_get_dma_safe_msg_buf
DATA_SOURCE 1 msg $1
NOCHECK_CALL

drivers/i2c/busses/i2c-mt65xx.c mtk_i2c_do_transfer() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->buf 1-u64max
PARAM_VALUE 1 msg->len 1-u16max
PARAM_VALUE 2 xferred 0
BUF_SIZE 0 buf s32min-(-2),1-s32max
BUF_SIZE 0 buf s32min-(-2),1-s32max
CAPPED_DATA 0 buf 1
CAPPED_DATA 1 msg->len 1
DATA_SOURCE 0 buf r i2c_get_dma_safe_msg_buf
DATA_SOURCE 1 msg $1
NOCHECK_CALL

drivers/i2c/busses/i2c-mt65xx.c mtk_i2c_do_transfer() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->buf 1-u64max
PARAM_VALUE 1 msg->len 1-u16max
PARAM_VALUE 2 xferred 0
BUF_SIZE 0 buf s32min-(-2),1-s32max
BUF_SIZE 0 buf s32min-(-2),1-s32max
CAPPED_DATA 0 buf 1
CAPPED_DATA 1 msg->len 1
DATA_SOURCE 0 buf r i2c_get_dma_safe_msg_buf
DATA_SOURCE 1 msg $1
NOCHECK_CALL

drivers/i2c/busses/i2c-mt65xx.c mtk_i2c_do_transfer() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->buf 1-u64max
PARAM_VALUE 1 msg->len 1-u16max
PARAM_VALUE 2 xferred 0
BUF_SIZE 0 buf s32min-(-2),1-s32max
BUF_SIZE 0 buf s32min-(-2),1-s32max
CAPPED_DATA 0 buf 1
CAPPED_DATA 1 msg->len 1
DATA_SOURCE 0 buf r i2c_get_dma_safe_msg_buf
DATA_SOURCE 1 msg $1
NOCHECK_CALL

drivers/i2c/busses/i2c-mt65xx.c mtk_i2c_do_transfer() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->buf 1-u64max
PARAM_VALUE 1 msg->len 1-u16max
PARAM_VALUE 2 xferred 0
BUF_SIZE 0 buf s32min-(-2),1-s32max
BUF_SIZE 0 buf s32min-(-2),1-s32max
CAPPED_DATA 0 buf 1
CAPPED_DATA 1 msg->len 1
DATA_SOURCE 0 buf r i2c_get_dma_safe_msg_buf
DATA_SOURCE 1 msg $1
NOCHECK_CALL

drivers/i2c/busses/i2c-mt65xx.c mtk_i2c_do_transfer() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
PARAM_VALUE 2 xferred 0
BUF_SIZE 0 buf s32min-(-2),1-s32max
BUF_SIZE 0 buf s32min-(-2),1-s32max
CAPPED_DATA 0 buf 1
DATA_SOURCE 0 buf r i2c_get_dma_safe_msg_buf
NOCHECK_CALL

drivers/i2c/busses/i2c-mt65xx.c mtk_i2c_do_transfer() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->buf 1-u64max
PARAM_VALUE 1 msg->len 1-u16max
PARAM_VALUE 2 xferred 1
BUF_SIZE 0 buf s32min-(-2),1-s32max
BUF_SIZE 0 buf s32min-(-2),1-s32max
CAPPED_DATA 0 buf 1
CAPPED_DATA 1 msg->len 1
DATA_SOURCE 0 buf r i2c_get_dma_safe_msg_buf
DATA_SOURCE 1 msg $1
NOCHECK_CALL

drivers/i2c/busses/i2c-mt65xx.c mtk_i2c_do_transfer() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->buf 1-u64max
PARAM_VALUE 1 msg->len 1-u16max
PARAM_VALUE 2 xferred 1
BUF_SIZE 0 buf s32min-(-2),1-s32max
BUF_SIZE 0 buf s32min-(-2),1-s32max
CAPPED_DATA 0 buf 1
CAPPED_DATA 1 msg->len 1
DATA_SOURCE 0 buf r i2c_get_dma_safe_msg_buf
DATA_SOURCE 1 msg $1
NOCHECK_CALL

drivers/i2c/busses/i2c-mt65xx.c mtk_i2c_do_transfer() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->buf 1-u64max
PARAM_VALUE 1 msg->len 1-u16max
PARAM_VALUE 2 xferred 1
BUF_SIZE 0 buf s32min-(-2),1-s32max
BUF_SIZE 0 buf s32min-(-2),1-s32max
CAPPED_DATA 0 buf 1
CAPPED_DATA 1 msg->len 1
DATA_SOURCE 0 buf r i2c_get_dma_safe_msg_buf
DATA_SOURCE 1 msg $1
NOCHECK_CALL

drivers/i2c/busses/i2c-mt65xx.c mtk_i2c_do_transfer() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
PARAM_VALUE 2 xferred 1
BUF_SIZE 0 buf s32min-(-2),1-s32max
BUF_SIZE 0 buf s32min-(-2),1-s32max
CAPPED_DATA 0 buf 1
DATA_SOURCE 0 buf r i2c_get_dma_safe_msg_buf
NOCHECK_CALL

drivers/i2c/busses/i2c-mxs.c mxs_i2c_xfer_msg() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->flags 1-u16max
PARAM_VALUE 1 msg->len 5-u16max
PARAM_VALUE 2 xferred 0
BUF_SIZE 0 buf s32min-(-2),1-s32max
BUF_SIZE 0 buf s32min-(-2),1-s32max
CAPPED_DATA 0 buf 1
CAPPED_DATA 1 msg->len 1
DATA_SOURCE 0 buf r i2c_get_dma_safe_msg_buf
DATA_SOURCE 1 msg $1
FUZZY_MAX 1 msg->len 5
NOCHECK_CALL

drivers/i2c/busses/i2c-mxs.c mxs_i2c_xfer_msg() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->flags 1-u16max
PARAM_VALUE 1 msg->len 5-u16max
PARAM_VALUE 2 xferred 1
BUF_SIZE 0 buf s32min-(-2),1-s32max
BUF_SIZE 0 buf s32min-(-2),1-s32max
CAPPED_DATA 0 buf 1
CAPPED_DATA 1 msg->len 1
DATA_SOURCE 0 buf r i2c_get_dma_safe_msg_buf
DATA_SOURCE 1 msg $1
FUZZY_MAX 1 msg->len 5
NOCHECK_CALL

drivers/i2c/busses/i2c-sh_mobile.c sh_mobile_xfer() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 2 xferred 0
NOCHECK_CALL

drivers/i2c/busses/i2c-stm32f7.c stm32f7_i2c_dma_callback() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 2 xferred 1
BUF_SIZE 0 buf s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 buf unit_byte
HALF_LOCKED2 &bdma_chan->lock
HALF_LOCKED2 &ioat_chan->cleanup_lock
HALF_LOCKED2 &mv_chan->lock
HALF_LOCKED2 &pd_chan->lock
HALF_LOCKED2 &plxdev->ring_lock
HALF_LOCKED2 &swdma_chan->complete_lock
HALF_LOCKED2 &td_chan->lock
HALF_LOCKED2 bh

drivers/i2c/busses/i2c-stm32f7.c stm32f7_i2c_xfer_msg() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->len 1-u16max
PARAM_VALUE 2 xferred 0
BUF_SIZE 0 buf s32min-(-2),1-s32max
BUF_SIZE 0 buf s32min-(-2),1-s32max
CAPPED_DATA 0 buf 1
CAPPED_DATA 1 msg->len 1
DATA_SOURCE 1 msg $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 buf unit_byte

drivers/i2c/busses/i2c-virtio.c virtio_i2c_complete_reqs() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 1 msg 4096-ptr_max
NOCHECK_CALL

drivers/i2c/busses/i2c-virtio.c virtio_i2c_prepare_reqs() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 2 xferred 0
NOCHECK_CALL

drivers/i2c/busses/i2c-imx-lpi2c.c lpi2c_imx_dma_xfer() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->len 1-u16max
PARAM_VALUE 2 xferred 0
BUF_SIZE 0 buf s32min-(-2),1-s32max
BUF_SIZE 0 buf s32min-(-2),1-s32max
CAPPED_DATA 1 msg->len 1
DATA_SOURCE 0 buf r i2c_get_dma_safe_msg_buf
DATA_SOURCE 1 msg $1
NOCHECK_CALL

drivers/i2c/busses/i2c-imx-lpi2c.c lpi2c_imx_dma_xfer() -> i2c_put_dma_safe_msg_buf()

Type Parameter Key Value
PARAM_VALUE 0 buf 1-u64max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->len 1-u16max
PARAM_VALUE 2 xferred 1
BUF_SIZE 0 buf s32min-(-2),1-s32max
BUF_SIZE 0 buf s32min-(-2),1-s32max
CAPPED_DATA 1 msg->len 1
DATA_SOURCE 0 buf r i2c_get_dma_safe_msg_buf
DATA_SOURCE 1 msg $1
NOCHECK_CALL