Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/edac/i7core_edac.c i7core_rdimm_check_mc_ecc_err() -> i7core_rdimm_update_ce_count()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | mci | 4096-ptr_max |
| PARAM_VALUE | 0 | mci->pvt_info | 4096-ptr_max |
| PARAM_VALUE | 0 | *mci->error_desc->label | 0-255 |
| PARAM_VALUE | 0 | *mci->error_desc.label | 0-255 |
| PARAM_VALUE | 0 | *mci->error_desc.location | 0-255 |
| PARAM_VALUE | 1 | chan | 0-2 |
| PARAM_VALUE | 2 | new0 | 0-65534 |
| PARAM_VALUE | 3 | new1 | 0-65534 |
| PARAM_VALUE | 4 | new2 | 0-s16max |
| DATA_SOURCE | 0 | mci | $0 |
| FUZZY_MAX | 1 | chan | 2 |
| FUZZY_MAX | 4 | new2 | 0 |
| HARD_MAX | 1 | chan | 2 |
| NOCHECK_CALL |