Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/scsi/hpsa.c adjust_hpsa_scsi_table() -> hpsa_scsi_replace_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | h | 4096-ptr_max |
| PARAM_VALUE | 0 | h->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | h->ndevices | 1-s32max |
| PARAM_VALUE | 0 | h->reset_in_progress | 0 |
| PARAM_VALUE | 0 | h->reset_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | entry | 0-2147483646 |
| PARAM_VALUE | 3 | added | 4096-ptr_max |
| PARAM_VALUE | 4 | nadded | 1734826185351065600 |
| PARAM_VALUE | 5 | removed | 4096-ptr_max |
| PARAM_VALUE | 6 | nremoved | 4545194345265483776 |
| BUF_SIZE | 3 | added | 16648 |
| BUF_SIZE | 3 | added | 16648 |
| BUF_SIZE | 5 | removed | 16648 |
| BUF_SIZE | 5 | removed | 16648 |
| CAPPED_DATA | 1 | entry | 1 |
| DATA_SOURCE | 0 | h | $0 |
| DATA_SOURCE | 3 | added | r _kzalloc_noprof |
| DATA_SOURCE | 5 | removed | r _kzalloc_noprof |
| PARAM_COMPARE | 0 | h->ndevices | > $1 |
| PARAM_COMPARE | 1 | entry | < $0->ndevices |
| PREEMPT_ADD | <- disables preempt | ||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | 0 | &h->devlock | |
| TYPE_LOCK | (struct ctlr_info)->devlock |