Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/xilinx_sdfec.c xsdfec_add_ldpc() -> xsdfec_table_write()

Type Parameter Key Value
PARAM_VALUE 0 xsdfec 4096-ptr_max
PARAM_VALUE 0 xsdfec->config.code 1-u32max
PARAM_VALUE 0 xsdfec->config.code_wr_protect 0
PARAM_VALUE 0 xsdfec->state 0,2,4-u32max
PARAM_VALUE 3 len 0-64
PARAM_VALUE 4 base_addr 65536
PARAM_VALUE 5 depth 1024
DATA_SOURCE 0 xsdfec $0
USER_DATA 1 offset 0-u32max
USER_DATA 3 len 1-64[c]

drivers/misc/xilinx_sdfec.c xsdfec_add_ldpc() -> xsdfec_table_write()

Type Parameter Key Value
PARAM_VALUE 0 xsdfec 4096-ptr_max
PARAM_VALUE 0 xsdfec->config.code 1-u32max
PARAM_VALUE 0 xsdfec->config.code_wr_protect 0
PARAM_VALUE 0 xsdfec->state 0,2,4-u32max
PARAM_VALUE 3 len 1-256
PARAM_VALUE 4 base_addr 98304
PARAM_VALUE 5 depth 4096
DATA_SOURCE 0 xsdfec $0
USER_DATA 3 len 1-256

drivers/misc/xilinx_sdfec.c xsdfec_add_ldpc() -> xsdfec_table_write()

Type Parameter Key Value
PARAM_VALUE 0 xsdfec 4096-ptr_max
PARAM_VALUE 0 xsdfec->config.code 1-u32max
PARAM_VALUE 0 xsdfec->config.code_wr_protect 0
PARAM_VALUE 0 xsdfec->state 0,2,4-u32max
PARAM_VALUE 4 base_addr 131072
PARAM_VALUE 5 depth 32768
DATA_SOURCE 0 xsdfec $0
USER_DATA 3 len 0-u32max