Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/edac/e752x_edac.c e752x_process_error_info() -> e752x_check_hub_interface()

Type Parameter Key Value
PARAM_VALUE 0 info 2056048907217039360
PARAM_VALUE 0 info->buf_ferr 0
PARAM_VALUE 0 info->buf_nerr 0
PARAM_VALUE 0 info->dram_ded_add 0
PARAM_VALUE 0 info->dram_ferr 0
PARAM_VALUE 0 info->dram_nerr 0
PARAM_VALUE 0 info->dram_retr_add 0
PARAM_VALUE 0 info->dram_scrb_add 0
PARAM_VALUE 0 info->dram_sec1_add 0
PARAM_VALUE 0 info->dram_sec1_syndrome 0
PARAM_VALUE 0 info->dram_sec2_add 0
PARAM_VALUE 0 info->dram_sec2_syndrome 0
PARAM_VALUE 0 info->ferr_global 0
PARAM_VALUE 0 info->hi_ferr 0
PARAM_VALUE 0 info->hi_nerr 0
PARAM_VALUE 0 info->nerr_global 0
PARAM_VALUE 0 info->nsi_ferr 0
PARAM_VALUE 0 info->nsi_nerr 0
PARAM_VALUE 0 info->sysbus_ferr 0
PARAM_VALUE 0 info->sysbus_nerr 0
PARAM_VALUE 1 error_found 710804503598628864
PARAM_VALUE 1 *error_found 0-1
PARAM_VALUE 2 handle_error 1
DATA_SOURCE 0 info $1
DATA_SOURCE 2 handle_error $2
MEM_ZERO 0 info
NOCHECK_CALL
HOST_DATA 0 info->ferr_global 0
HOST_DATA 0 info->nerr_global 0
LOCK2 global &mem_ctls_mutex
HALF_LOCKED2 &pool->lock