Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/edac/i7core_edac.c i7core_get_all_devices() -> i7core_get_onedevice()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prev | 789646594268434432 |
| PARAM_VALUE | 0 | *prev | 0 |
| PARAM_VALUE | 1 | table | 115008079532679168-ptr_max |
| PARAM_VALUE | 1 | table->descr | 1-u64max |
| PARAM_VALUE | 1 | table->n_devs | 12,17 |
| PARAM_VALUE | 2 | devno | 0-s32max |
| PARAM_VALUE | 3 | last_bus | 0-255 |
| BUF_SIZE | 1 | table | (-1),64 |
| BUF_SIZE | 1 | table | (-1),64 |
| CAPPED_DATA | 2 | devno | 1 |
| DATA_SOURCE | 3 | last_bus | r i7core_pci_lastbus |
| PARAM_COMPARE | 2 | devno | < $1->n_devs |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &i7core_edac_lock |