Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/xilinx_sdfec.c update_bool_config_from_reg() -> xsdfec_regread()

Type Parameter Key Value
PARAM_VALUE 0 xsdfec 4096-ptr_max
PARAM_VALUE 0 xsdfec->regs 4096-ptr_max
PARAM_VALUE 1 addr 4,60
BUF_SIZE 0 xsdfec (-1),400
BUF_SIZE 0 xsdfec (-1),400
BUF_SIZE 0 xsdfec->dev (-1),1616
BUF_SIZE 0 xsdfec->irq s32min-(-1),1-s32max
DATA_SOURCE 0 xsdfec $0
DATA_SOURCE 1 addr $1
HARD_MAX 1 addr 60
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 xsdfec->config.order 0-u32max
NO_OVERFLOW_SIMPLE 0 xsdfec->clks.axi_clk->core->parent->req_rate
NO_OVERFLOW_SIMPLE 0 xsdfec->clks.core_clk->core->parent->req_rate
NO_OVERFLOW_SIMPLE 0 xsdfec->clks.ctrl_clk->core->parent->req_rate
NO_OVERFLOW_SIMPLE 0 xsdfec->clks.din_clk->core->parent->req_rate
NO_OVERFLOW_SIMPLE 0 xsdfec->clks.din_words_clk->core->parent->req_rate
NO_OVERFLOW_SIMPLE 0 xsdfec->clks.dout_clk->core->parent->req_rate
NO_OVERFLOW_SIMPLE 0 xsdfec->clks.dout_words_clk->core->parent->req_rate
NO_OVERFLOW_SIMPLE 0 xsdfec->clks.status_clk->core->parent->req_rate

drivers/misc/xilinx_sdfec.c update_config_from_hw() -> xsdfec_regread()

Type Parameter Key Value
PARAM_VALUE 0 xsdfec 4096-ptr_max
PARAM_VALUE 0 xsdfec->regs 4096-ptr_max
PARAM_VALUE 1 addr 24
BUF_SIZE 0 xsdfec (-1),400
BUF_SIZE 0 xsdfec (-1),400
BUF_SIZE 0 xsdfec->dev (-1),1616
BUF_SIZE 0 xsdfec->irq s32min-(-1),1-s32max
DATA_SOURCE 0 xsdfec $0
RX_PATH
TASK_NOT_RUNNING

drivers/misc/xilinx_sdfec.c update_config_from_hw() -> xsdfec_regread()

Type Parameter Key Value
PARAM_VALUE 0 xsdfec 4096-ptr_max
PARAM_VALUE 0 xsdfec->config.bypass 0-1
PARAM_VALUE 0 xsdfec->config.code_wr_protect 0-1
PARAM_VALUE 0 xsdfec->regs 4096-ptr_max
PARAM_VALUE 1 addr 40
BUF_SIZE 0 xsdfec (-1),400
BUF_SIZE 0 xsdfec (-1),400
BUF_SIZE 0 xsdfec->dev (-1),1616
BUF_SIZE 0 xsdfec->irq s32min-(-1),1-s32max
DATA_SOURCE 0 xsdfec $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 xsdfec->config.order 0-u32max

drivers/misc/xilinx_sdfec.c update_config_from_hw() -> xsdfec_regread()

Type Parameter Key Value
PARAM_VALUE 0 xsdfec 4096-ptr_max
PARAM_VALUE 0 xsdfec->config.bypass 0-1
PARAM_VALUE 0 xsdfec->config.code_wr_protect 0-1
PARAM_VALUE 0 xsdfec->config.irq.enable_isr 0-1
PARAM_VALUE 0 xsdfec->regs 4096-ptr_max
PARAM_VALUE 1 addr 56
BUF_SIZE 0 xsdfec (-1),400
BUF_SIZE 0 xsdfec (-1),400
BUF_SIZE 0 xsdfec->dev (-1),1616
BUF_SIZE 0 xsdfec->irq s32min-(-1),1-s32max
DATA_SOURCE 0 xsdfec $0
FUZZY_MAX 0 xsdfec->config.irq.enable_isr 1
HARD_MAX 0 xsdfec->config.irq.enable_isr 1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 xsdfec->config.order 0-u32max

drivers/misc/xilinx_sdfec.c update_config_from_hw() -> xsdfec_regread()

Type Parameter Key Value
PARAM_VALUE 0 xsdfec 4096-ptr_max
PARAM_VALUE 0 xsdfec->config.bypass 0-1
PARAM_VALUE 0 xsdfec->config.code_wr_protect 0-1
PARAM_VALUE 0 xsdfec->config.irq.enable_ecc_isr 0-1
PARAM_VALUE 0 xsdfec->config.irq.enable_isr 0-1
PARAM_VALUE 0 xsdfec->regs 4096-ptr_max
PARAM_VALUE 1 addr 16
BUF_SIZE 0 xsdfec (-1),400
BUF_SIZE 0 xsdfec (-1),400
BUF_SIZE 0 xsdfec->dev (-1),1616
BUF_SIZE 0 xsdfec->irq s32min-(-1),1-s32max
DATA_SOURCE 0 xsdfec $0
FUZZY_MAX 0 xsdfec->config.irq.enable_ecc_isr 1
FUZZY_MAX 0 xsdfec->config.irq.enable_isr 1
HARD_MAX 0 xsdfec->config.irq.enable_ecc_isr 1
HARD_MAX 0 xsdfec->config.irq.enable_isr 1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 xsdfec->config.order 0-u32max

drivers/misc/xilinx_sdfec.c xsdfec_ecc_isr_enable() -> xsdfec_regread()

Type Parameter Key Value
PARAM_VALUE 0 xsdfec 4096-ptr_max
PARAM_VALUE 0 xsdfec->regs 4096-ptr_max
PARAM_VALUE 1 addr 56
DATA_SOURCE 0 xsdfec $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 xsdfec->config.irq.enable_isr (-128)-127

drivers/misc/xilinx_sdfec.c xsdfec_ecc_isr_enable() -> xsdfec_regread()

Type Parameter Key Value
PARAM_VALUE 0 xsdfec 4096-ptr_max
PARAM_VALUE 0 xsdfec->regs 4096-ptr_max
PARAM_VALUE 1 addr 56
DATA_SOURCE 0 xsdfec $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 xsdfec->config.irq.enable_isr (-128)-127

drivers/misc/xilinx_sdfec.c xsdfec_get_status() -> xsdfec_regread()

Type Parameter Key Value
PARAM_VALUE 0 xsdfec 4096-ptr_max
PARAM_VALUE 0 xsdfec->error_data_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 xsdfec->state_updated 0
PARAM_VALUE 1 addr 8
CAPPED_DATA 0 xsdfec->flags 1
DATA_SOURCE 0 xsdfec $0

drivers/misc/xilinx_sdfec.c xsdfec_get_turbo() -> xsdfec_regread()

Type Parameter Key Value
PARAM_VALUE 0 xsdfec 4096-ptr_max
PARAM_VALUE 0 xsdfec->config.code 0,2-u32max
PARAM_VALUE 0 xsdfec->state 0-2,4-u32max
PARAM_VALUE 1 addr 256
DATA_SOURCE 0 xsdfec $0

drivers/misc/xilinx_sdfec.c xsdfec_irq_thread() -> xsdfec_regread()

Type Parameter Key Value
PARAM_VALUE 0 xsdfec 4096-ptr_max
PARAM_VALUE 0 xsdfec->regs 4096-ptr_max
PARAM_VALUE 1 addr 44
DATA_SOURCE 0 xsdfec $1
RX_PATH
TASK_NOT_RUNNING

drivers/misc/xilinx_sdfec.c xsdfec_irq_thread() -> xsdfec_regread()

Type Parameter Key Value
PARAM_VALUE 0 xsdfec 4096-ptr_max
PARAM_VALUE 0 xsdfec->regs 4096-ptr_max
PARAM_VALUE 1 addr 28
DATA_SOURCE 0 xsdfec $1
RX_PATH
TASK_NOT_RUNNING

drivers/misc/xilinx_sdfec.c xsdfec_is_active() -> xsdfec_regread()

Type Parameter Key Value
PARAM_VALUE 0 xsdfec 4096-ptr_max
PARAM_VALUE 0 xsdfec->state 0-2,4-u32max
PARAM_VALUE 1 addr 8
DATA_SOURCE 0 xsdfec $0

drivers/misc/xilinx_sdfec.c xsdfec_isr_enable() -> xsdfec_regread()

Type Parameter Key Value
PARAM_VALUE 0 xsdfec 4096-ptr_max
PARAM_VALUE 0 xsdfec->regs 4096-ptr_max
PARAM_VALUE 1 addr 40
DATA_SOURCE 0 xsdfec $0
RX_PATH
TASK_NOT_RUNNING

drivers/misc/xilinx_sdfec.c xsdfec_isr_enable() -> xsdfec_regread()

Type Parameter Key Value
PARAM_VALUE 0 xsdfec 4096-ptr_max
PARAM_VALUE 0 xsdfec->regs 4096-ptr_max
PARAM_VALUE 1 addr 40
DATA_SOURCE 0 xsdfec $0
RX_PATH
TASK_NOT_RUNNING

drivers/misc/xilinx_sdfec.c xsdfec_start() -> xsdfec_regread()

Type Parameter Key Value
PARAM_VALUE 0 xsdfec 4096-ptr_max
PARAM_VALUE 0 xsdfec->state 0-2,4-u32max
PARAM_VALUE 1 addr 20
DATA_SOURCE 0 xsdfec $0

drivers/misc/xilinx_sdfec.c xsdfec_stop() -> xsdfec_regread()

Type Parameter Key Value
PARAM_VALUE 0 xsdfec 4096-ptr_max
PARAM_VALUE 0 xsdfec->state 0-2,4-u32max
PARAM_VALUE 1 addr 16
DATA_SOURCE 0 xsdfec $0