Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/edac/i5400_edac.c i5400_process_nonfatal_error_info() -> rec_ras()

Type Parameter Key Value
PARAM_VALUE 0 info 1123859475851608064
PARAM_VALUE 0 info->recmemb 0
DATA_SOURCE 0 info $1
LOCK2 global &mem_ctls_mutex
HALF_LOCKED2 &pool->lock