Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/edac/edac_mc.c edac_raw_mc_handle_error() -> edac_ce_error()

Type Parameter Key Value
PARAM_VALUE 0 e 4096-ptr_max
PARAM_VALUE 0 e->error_count 0-1
PARAM_VALUE 0 e->grain s64min-(-1),1-s64max
PARAM_VALUE 0 e->label 0
PARAM_VALUE 0 e->location 0
PARAM_VALUE 0 e->low_layer (-1)-0
PARAM_VALUE 0 e->msg 1-u64max
PARAM_VALUE 0 e->offset_in_page 0-4095
PARAM_VALUE 0 e->other_detail 1-u64max
PARAM_VALUE 0 e->top_layer 0
PARAM_VALUE 0 e->type 0
BUF_SIZE 0 e 624
BUF_SIZE 0 e->msg (-1),1,5-11,13-16,18-23,25-26,28-29,33,35-36,48-49,80,256
BUF_SIZE 0 e->other_detail (-1),1,9,11-12,15-16,22,80,202,256,400,512,1024,4096
DATA_SOURCE 0 e $0
FUZZY_MAX 0 e->grain 1
STR_LEN 0 e->msg (-1)-0,7-9,13-15,17-18,20,22,24,27-28,32,34-35,47-48
STR_LEN 0 e->other_detail (-1)-0,8,10-11,14-15,21,4095
STR_LEN 0 e->type (-1)-0,5-10,13-15,17-18,20-22,24-25,27-28,32,34-35,47-48,79,255
HARD_MAX 0 e->error_count 1
MEM_ZERO 0 e
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 e->error_count 0[c]
HOST_DATA 0 e->mid_layer 0-1[c]
HOST_DATA 0 e->offset_in_page 0,2-4094[c]
HOST_DATA 0 e->page_frame_number 0,1048576[c]
HOST_DATA 0 e->syndrome 0
HOST_DATA 0 e->top_layer 0[c]
USER_DATA 0 e->offset_in_page 0-4095[c]
USER_DATA 0 e->page_frame_number 0-4503599627370495[c]
HALF_LOCKED2 flags
HALF_LOCKED2 global &ghes_lock