Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/usb/cdns3/cdns3-ti.c cdns_ti_reset_and_init_hw() -> cdns_ti_writel()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 offset 4
PARAM_VALUE 2 value 0,2-4294967294
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 0 data->dev (-1),1616
BUF_SIZE 0 data->lpm_clk (-1),1-s32max
BUF_SIZE 0 data->usb2_refclk (-1),1-s32max
DATA_SOURCE 0 data $0
BIT_INFO 2 value 0x0,0xfffffffe
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 value 0,2-4294967294[c]
UNITS 0 data unit_byte

drivers/usb/cdns3/cdns3-ti.c cdns_ti_reset_and_init_hw() -> cdns_ti_writel()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 offset 8
PARAM_VALUE 2 value 0-4294967291
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 0 data->dev (-1),1616
BUF_SIZE 0 data->lpm_clk (-1),1-s32max
BUF_SIZE 0 data->usb2_refclk (-1),1-s32max
DATA_SOURCE 0 data $0
BIT_INFO 2 value 0x0,0xfffffffb
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 value 0-4294967291[c]
UNITS 0 data unit_byte

drivers/usb/cdns3/cdns3-ti.c cdns_ti_reset_and_init_hw() -> cdns_ti_writel()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 offset 4
PARAM_VALUE 2 value 512-4294574079
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 0 data->dev (-1),1616
BUF_SIZE 0 data->lpm_clk (-1),1-s32max
BUF_SIZE 0 data->usb2_refclk (-1),1-s32max
DATA_SOURCE 0 data $0
BIT_INFO 2 value 0x200,0xfff9ffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 value 512-4294574079[c]
UNITS 0 data unit_byte

drivers/usb/cdns3/cdns3-ti.c cdns_ti_reset_and_init_hw() -> cdns_ti_writel()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 offset 4
PARAM_VALUE 2 value 513-4294574080
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 0 data s32min-(-2),1-s32max
BUF_SIZE 0 data->dev (-1),1616
BUF_SIZE 0 data->lpm_clk (-1),1-s32max
BUF_SIZE 0 data->usb2_refclk (-1),1-s32max
DATA_SOURCE 0 data $0
BIT_INFO 2 value 0x201,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 value 513-4294574080[c]
UNITS 0 data unit_byte