Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/edac/imh_base.c imh_2lm_enabled() -> check_2lm_enabled()

Type Parameter Key Value
PARAM_VALUE 0 cfg 4096-ptr_max
PARAM_VALUE 0 cfg->ddr_chan_mmio_sz 0,16384,32768
PARAM_VALUE 0 cfg->ddr_chan_num 1-3
PARAM_VALUE 0 cfg->ddr_dimm_num 2
PARAM_VALUE 0 cfg->ddr_imc_num 1-64
PARAM_VALUE 0 cfg->ha_reg_mode_offset 0,1184
PARAM_VALUE 0 cfg->ha_reg_mode_width 0,4
PARAM_VALUE 0 cfg->ha_size 0,4096
PARAM_VALUE 0 cfg->pcu_reg_capid3_offset 0,656
PARAM_VALUE 0 cfg->pcu_reg_capid3_width 0,4
PARAM_VALUE 0 cfg->pcu_size 0,65536
PARAM_VALUE 0 cfg->ubox_reg_mmio_base_offset 0,1408
PARAM_VALUE 0 cfg->ubox_reg_mmio_base_width 0,4
PARAM_VALUE 0 cfg->ubox_reg_socket_id_offset 0,4224
PARAM_VALUE 0 cfg->ubox_reg_socket_id_width 0,4
PARAM_VALUE 0 cfg->ubox_size 0,8192
PARAM_VALUE 1 d 4096-ptr_max
PARAM_VALUE 2 ha_idx 0-63
CAPPED_DATA 0 cfg->ddr_imc_num 1
CAPPED_DATA 0 cfg->pcu_size 1
CAPPED_DATA 2 ha_idx 1
DATA_SOURCE 0 cfg $0
PARAM_COMPARE 0 cfg->ddr_imc_num > $2
PARAM_COMPARE 2 ha_idx < $0->ddr_imc_num