Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/edac/i7core_edac.c i7core_check_error() -> i7core_rdimm_check_mc_ecc_err()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
PARAM_VALUE 0 mci->error_desc.error_count 0
PARAM_VALUE 0 mci->error_desc.grain 1-4294967295
PARAM_VALUE 0 mci->error_desc.low_layer (-1)-0
PARAM_VALUE 0 mci->error_desc.msg 1-u64max
PARAM_VALUE 0 mci->error_desc.offset_in_page 0-4095
PARAM_VALUE 0 mci->error_desc.other_detail 1-u64max
PARAM_VALUE 0 mci->error_desc.type 0-3
PARAM_VALUE 0 mci->pvt_info 4096-ptr_max
PARAM_VALUE 0 *mci->error_desc->label 0-255
PARAM_VALUE 0 *mci->error_desc->location 0-255
PARAM_VALUE 0 *mci->error_desc.label 0-255
PARAM_VALUE 0 *mci->error_desc.location 0-255
DATA_SOURCE 0 mci $0
NOCHECK_CALL