Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/i2c/busses/i2c-davinci.c davinci_i2c_prepare_recovery() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 1 reg 4
PARAM_VALUE 2 val 0
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 i2c_dev unit_byte
HALF_LOCKED2 &ctrl->lock
HALF_LOCKED2 &drv_data->lock

drivers/i2c/busses/i2c-davinci.c davinci_i2c_remove() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 i2c_dev 4096-ptr_max
PARAM_VALUE 1 reg 36
PARAM_VALUE 2 val 0
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
CAPPED_DATA 0 &i2c_dev->adapter 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 i2c_dev->adapter.cad->state->u.pc s64min-s64max
HOST_DATA 0 i2c_dev->adapter.cad->state->u.pc->ctr 0-4294967295
HOST_DATA 0 i2c_dev->adapter.cad->state->u.pc->ecr 0-4294967295
UNITS 0 i2c_dev unit_byte
HALF_LOCKED2 &_dev->mutex

drivers/i2c/busses/i2c-davinci.c davinci_i2c_reset_ctrl() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 i2c_dev 4096-ptr_max
PARAM_VALUE 1 reg 36
BUF_SIZE 0 i2c_dev s32min-(-1),1-s32max
BUF_SIZE 0 i2c_dev s32min-(-1),1-s32max
BUF_SIZE 0 i2c_dev->buf s32min-(-1),1-s32max
BUF_SIZE 0 i2c_dev->clk (-1),1-s32max
BUF_SIZE 0 i2c_dev->dev (-1),1616
DATA_SOURCE 0 i2c_dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 val 0-u16max
UNITS 0 i2c_dev unit_byte

drivers/i2c/busses/i2c-davinci.c davinci_i2c_scl_prepare_recovery() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 i2c_dev 4096-ptr_max
PARAM_VALUE 1 reg 76
PARAM_VALUE 2 val 1
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 i2c_dev unit_byte
HALF_LOCKED2 &ctrl->lock
HALF_LOCKED2 &drv_data->lock

drivers/i2c/busses/i2c-davinci.c davinci_i2c_scl_prepare_recovery() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 i2c_dev 4096-ptr_max
PARAM_VALUE 1 reg 72
PARAM_VALUE 2 val 1
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 i2c_dev unit_byte
HALF_LOCKED2 &ctrl->lock
HALF_LOCKED2 &drv_data->lock

drivers/i2c/busses/i2c-davinci.c davinci_i2c_scl_unprepare_recovery() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 1 reg 72
PARAM_VALUE 2 val 0
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 i2c_dev unit_byte
HALF_LOCKED2 &ctrl->lock
HALF_LOCKED2 &drv_data->lock

drivers/i2c/busses/i2c-davinci.c davinci_i2c_set_scl() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 1 reg 88
PARAM_VALUE 2 val 1
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 i2c_dev unit_byte
HALF_LOCKED2 &ctrl->lock
HALF_LOCKED2 &drv_data->lock

drivers/i2c/busses/i2c-davinci.c davinci_i2c_set_scl() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 1 reg 92
PARAM_VALUE 2 val 1
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 i2c_dev unit_byte
HALF_LOCKED2 &ctrl->lock
HALF_LOCKED2 &drv_data->lock

drivers/i2c/busses/i2c-davinci.c i2c_davinci_calc_clk_dividers() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 i2c_dev 4096-ptr_max
PARAM_VALUE 1 reg 48
BUF_SIZE 0 i2c_dev s32min-(-1),1-s32max
BUF_SIZE 0 i2c_dev s32min-(-1),1-s32max
BUF_SIZE 0 i2c_dev->buf s32min-(-1),1-s32max
BUF_SIZE 0 i2c_dev->clk (-1),1-s32max
BUF_SIZE 0 i2c_dev->dev (-1),1616
DATA_SOURCE 0 i2c_dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 i2c_dev unit_byte

drivers/i2c/busses/i2c-davinci.c i2c_davinci_calc_clk_dividers() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 i2c_dev 4096-ptr_max
PARAM_VALUE 1 reg 16
BUF_SIZE 0 i2c_dev s32min-(-1),1-s32max
BUF_SIZE 0 i2c_dev s32min-(-1),1-s32max
BUF_SIZE 0 i2c_dev->buf s32min-(-1),1-s32max
BUF_SIZE 0 i2c_dev->clk (-1),1-s32max
BUF_SIZE 0 i2c_dev->dev (-1),1616
DATA_SOURCE 0 i2c_dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 i2c_dev unit_byte

drivers/i2c/busses/i2c-davinci.c i2c_davinci_calc_clk_dividers() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 i2c_dev 4096-ptr_max
PARAM_VALUE 1 reg 12
BUF_SIZE 0 i2c_dev s32min-(-1),1-s32max
BUF_SIZE 0 i2c_dev s32min-(-1),1-s32max
BUF_SIZE 0 i2c_dev->buf s32min-(-1),1-s32max
BUF_SIZE 0 i2c_dev->clk (-1),1-s32max
BUF_SIZE 0 i2c_dev->dev (-1),1616
DATA_SOURCE 0 i2c_dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 i2c_dev unit_byte

drivers/i2c/busses/i2c-davinci.c i2c_davinci_init() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 i2c_dev 4096-ptr_max
PARAM_VALUE 1 reg 0
PARAM_VALUE 2 val 8
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
BUF_SIZE 0 i2c_dev->buf s32min-(-1),1-s32max
BUF_SIZE 0 i2c_dev->clk (-1),1-s32max
BUF_SIZE 0 i2c_dev->dev (-1),1616
DATA_SOURCE 0 i2c_dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 i2c_dev unit_byte

drivers/i2c/busses/i2c-davinci.c i2c_davinci_init() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 i2c_dev 4096-ptr_max
PARAM_VALUE 1 reg 4
PARAM_VALUE 2 val 39
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
BUF_SIZE 0 i2c_dev->buf s32min-(-1),1-s32max
BUF_SIZE 0 i2c_dev->clk (-1),1-s32max
BUF_SIZE 0 i2c_dev->dev (-1),1616
DATA_SOURCE 0 i2c_dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 i2c_dev unit_byte

drivers/i2c/busses/i2c-davinci.c i2c_davinci_isr() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 i2c_dev 4096-ptr_max
PARAM_VALUE 1 reg 8
PARAM_VALUE 2 val 4
DATA_SOURCE 0 i2c_dev $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/i2c/busses/i2c-davinci.c i2c_davinci_isr() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 i2c_dev 4096-ptr_max
PARAM_VALUE 1 reg 36
DATA_SOURCE 0 i2c_dev $1
BIT_INFO 2 val 0x800,0xffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 val 0-u16max
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/i2c/busses/i2c-davinci.c i2c_davinci_isr() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 i2c_dev 4096-ptr_max
PARAM_VALUE 1 reg 8
PARAM_VALUE 2 val 8
DATA_SOURCE 0 i2c_dev $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/i2c/busses/i2c-davinci.c i2c_davinci_isr() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 i2c_dev 4096-ptr_max
PARAM_VALUE 1 reg 32
PARAM_VALUE 2 val 0-255
DATA_SOURCE 0 i2c_dev $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/i2c/busses/i2c-davinci.c i2c_davinci_isr() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 i2c_dev 4096-ptr_max
PARAM_VALUE 1 reg 4
PARAM_VALUE 2 val 0-65519
DATA_SOURCE 0 i2c_dev $1
BIT_INFO 2 val 0x0,0xffef
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 val 0-65519[c]
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/i2c/busses/i2c-davinci.c i2c_davinci_isr() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 i2c_dev 4096-ptr_max
PARAM_VALUE 1 reg 8
PARAM_VALUE 2 val 32
DATA_SOURCE 0 i2c_dev $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/i2c/busses/i2c-davinci.c i2c_davinci_xfer_msg() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 1 reg 28
PARAM_VALUE 2 val 0-7,9-u16max
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
NOCHECK_CALL
UNITS 0 i2c_dev unit_byte
UNITS 2 val unit_array_size

drivers/i2c/busses/i2c-davinci.c i2c_davinci_xfer_msg() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 i2c_dev 4096-ptr_max
PARAM_VALUE 1 reg 20
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
BUF_SIZE 0 i2c_dev->buf s32min-(-2),1-s32max
NOCHECK_CALL
UNITS 0 i2c_dev unit_byte
UNITS 2 val unit_byte

drivers/i2c/busses/i2c-davinci.c i2c_davinci_xfer_msg() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 i2c_dev 4096-ptr_max
PARAM_VALUE 1 reg 4
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
BUF_SIZE 0 i2c_dev->buf s32min-(-2),1-s32max
NOCHECK_CALL
HOST_DATA 2 val 0-u16max
UNITS 0 i2c_dev unit_byte

drivers/i2c/busses/i2c-davinci.c i2c_davinci_xfer_msg() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 i2c_dev 4096-ptr_max
PARAM_VALUE 1 reg 36
PARAM_VALUE 2 val 1056,1184,1312,1440,1568,1696,1824,1952
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
BUF_SIZE 0 i2c_dev->buf s32min-(-2),1-s32max
BIT_INFO 2 val 0x420,0x7a0
NOCHECK_CALL
UNITS 0 i2c_dev unit_byte

drivers/i2c/busses/i2c-davinci.c i2c_davinci_xfer_msg() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 i2c_dev 4096-ptr_max
PARAM_VALUE 1 reg 32
PARAM_VALUE 2 val 0-255
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
NOCHECK_CALL
UNITS 0 i2c_dev unit_byte

drivers/i2c/busses/i2c-davinci.c i2c_davinci_xfer_msg() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 i2c_dev 4096-ptr_max
PARAM_VALUE 1 reg 36
PARAM_VALUE 2 val 9248,9376,9504,9632,9760,9888,10016,10144,11296,11424,11552,11680,11808,11936,12064,12192
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
BUF_SIZE 0 i2c_dev->buf s32min-(-1),1-s32max
BIT_INFO 2 val 0x2420,0x2fff
NOCHECK_CALL
UNITS 0 i2c_dev unit_byte

drivers/i2c/busses/i2c-davinci.c i2c_davinci_xfer_msg() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 i2c_dev 4096-ptr_max
PARAM_VALUE 1 reg 36
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
BUF_SIZE 0 i2c_dev s32min-(-2),1-s32max
BUF_SIZE 0 i2c_dev->buf s32min-(-1),1-s32max
BIT_INFO 2 val 0x800,0xffff
NOCHECK_CALL
HOST_DATA 2 val 0-u16max
UNITS 0 i2c_dev unit_byte

drivers/i2c/busses/i2c-davinci.c terminate_read() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 i2c_dev 4096-ptr_max
PARAM_VALUE 1 reg 36
DATA_SOURCE 0 i2c_dev $0
BIT_INFO 2 val 0x8000,0xffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 val 0-u16max
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/i2c/busses/i2c-davinci.c terminate_write() -> davinci_i2c_write_reg()

Type Parameter Key Value
PARAM_VALUE 0 i2c_dev 4096-ptr_max
PARAM_VALUE 1 reg 36
DATA_SOURCE 0 i2c_dev $0
BIT_INFO 2 val 0x880,0xffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 val 0-u16max
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq