Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/edac/amd64_edac.c decode_bus_error() -> __log_ecc_error()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
PARAM_VALUE 0 mci->pvt_info 4096-ptr_max
PARAM_VALUE 1 err 810659675828465664
PARAM_VALUE 1 err->channel (-1)-4
PARAM_VALUE 1 err->csrow (-22),(-1)-254
PARAM_VALUE 1 err->err_code (-3)-0
PARAM_VALUE 1 err->offset 0-4095
PARAM_VALUE 1 err->src_mci 0,4096-ptr_max
PARAM_VALUE 2 ecc_type 0-3
CAPPED_DATA 0 mci->mc_idx 1
DATA_SOURCE 0 mci r edac_mc_find
FUZZY_MAX 2 ecc_type 2
MEM_ZERO 1 err
NOCHECK_CALL
HOST_DATA 1 err->channel 0-1[c]
HOST_DATA 1 err->offset 0,2-4094[c]
HOST_DATA 1 err->page 0[c]

drivers/edac/amd64_edac.c decode_umc_error() -> __log_ecc_error()

Type Parameter Key Value
PARAM_VALUE 0 mci 4096-ptr_max
PARAM_VALUE 1 err 3453226943025963008
PARAM_VALUE 1 err->channel 0-4095
PARAM_VALUE 1 err->csrow 0-15
PARAM_VALUE 1 err->err_code (-5)-(-3),0
PARAM_VALUE 1 err->offset 0-4095
PARAM_VALUE 2 ecc_type 0-3
CAPPED_DATA 0 mci->mc_idx 1
DATA_SOURCE 0 mci r edac_mc_find
FUZZY_MAX 2 ecc_type 3
MEM_ZERO 1 err
NOCHECK_CALL