Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ras/cec.c cec_add_elem() -> del_elem()

Type Parameter Key Value
PARAM_VALUE 0 ca 1269511505976737792
PARAM_VALUE 0 ca->array 4096-ptr_max
PARAM_VALUE 1 idx 0-1073741824
BUF_SIZE 0 ca 48
NOCHECK_CALL
LOCK2 global &ce_mutex
HALF_LOCKED2 &attr->mutex

drivers/ras/cec.c del_lru_elem_unlocked() -> del_elem()

Type Parameter Key Value
PARAM_VALUE 0 ca 1269511505976737792
PARAM_VALUE 0 ca->array 4096-ptr_max
PARAM_VALUE 0 ca->n 1-s32max
PARAM_VALUE 1 idx 0-s32max
BUF_SIZE 0 ca 48
CAPPED_DATA 0 ca->n 1
CAPPED_DATA 1 idx 1
DATA_SOURCE 0 ca $0
FUZZY_MAX 1 idx 0
PARAM_COMPARE 0 ca->n > $1
PARAM_COMPARE 1 idx < $0->n
NOCHECK_CALL
LOCK2 global &ce_mutex