Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/i2c/busses/i2c-qup.c qup_i2c_conf_xfer_v2() -> qup_i2c_write_tx_fifo_v2()

Type Parameter Key Value
PARAM_VALUE 0 qup 4096-ptr_max
PARAM_VALUE 0 qup->blk.cur_blk_len s32min-256
PARAM_VALUE 0 qup->blk.cur_tx_tags 4096-ptr_max
PARAM_VALUE 0 qup->blk.send_last_word 0
PARAM_VALUE 0 qup->blk.tx_fifo_data 0
PARAM_VALUE 0 qup->blk.tx_fifo_data_pos 0
PARAM_VALUE 0 qup->blk.tx_tag_len 2-5
PARAM_VALUE 0 qup->blk.tx_tags_sent 0
PARAM_VALUE 0 qup->config_run 0,2147483648
PARAM_VALUE 0 qup->msg->flags 1-u16max
BUF_SIZE 0 qup s32min-(-2),1-s32max
BUF_SIZE 0 qup s32min-(-2),1-s32max
CAPPED_DATA 0 qup->blk.data_len 1
CAPPED_DATA 0 qup->blk_xfer_limit 1
DATA_SOURCE 0 qup $0
FUZZY_MAX 0 qup->config_run 2147483648
BIT_INFO 0 qup->config_run 0x0,0x80000000
HARD_MAX 0 qup->config_run 2147483648
NOCHECK_CALL
UNITS 0 qup unit_byte

drivers/i2c/busses/i2c-qup.c qup_i2c_interrupt() -> (struct qup_i2c_dev)->write_tx_fifo()

Type Parameter Key Value
PARAM_VALUE 0 qup 4096-ptr_max
PARAM_VALUE 0 qup->msg 4096-ptr_max
DATA_SOURCE 0 qup $1
CONTAINER 0 -2768+0 $(-1)
BIT_INFO 0 qup->msg->flags 0x0,0xfffe
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags