Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/ata/pata_legacy.c legacy_init() -> legacy_check_special_cases()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| PARAM_VALUE | 0 | p->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | p->resource | 4096-ptr_max |
| PARAM_VALUE | 1 | primary | 163531150371127296 |
| PARAM_VALUE | 1 | *primary | 0-1 |
| PARAM_VALUE | 2 | secondary | 5717218243185922048 |
| PARAM_VALUE | 2 | *secondary | 0-1 |
| DATA_SOURCE | 0 | p | r pci_get_device |
| NOCHECK_CALL |