Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/net/ethernet/marvell/sky2.c sky2_get_eeprom() -> pci_read_vpd_any()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | count | 0-4000000 |
| PARAM_VALUE | 3 | buf | 16,4096-ptr_max |
| BUF_SIZE | 3 | buf | 0-s32max |
| DATA_SOURCE | 3 | buf | $2 |
| NOSPEC | 1 | pos | |
| NOSPEC | 1 | pos | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | pos | 0-2147487742[c] |
| USER_DATA | 2 | count | 1-4095[c] |
| NO_OVERFLOW_SIMPLE | 1 | pos | |
| NO_OVERFLOW_SIMPLE | 2 | count | |
| UNITS | 1 | pos | unit_byte |
| UNITS | 2 | count | unit_byte |
drivers/pci/vpd.c pci_vpd_size() -> pci_read_vpd_any()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | *dev->saved_config_space | 0-4294967295 |
| PARAM_VALUE | 2 | count | 1 |
| PARAM_VALUE | 3 | buf | 3083870805411090432 |
| BUF_SIZE | 0 | dev | (-1),1-s32max |
| BUF_SIZE | 0 | dev | (-1),1-s32max |
| BUF_SIZE | 3 | buf | 3 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | dev->acs_capabilities | 0-u16max |
| HOST_DATA | 0 | dev->class | 0-16777215 |
| HOST_DATA | 0 | dev->current_state | 0-3[c] |
| HOST_DATA | 0 | dev->devcap | 0-u32max |
| HOST_DATA | 0 | dev->devfn | 0-503[c] |
| HOST_DATA | 0 | dev->device | 0-u16max |
| HOST_DATA | 0 | dev->eetlp_prefix_max | 0-7[c] |
| HOST_DATA | 0 | dev->fm_enabled | 0-1[c] |
| HOST_DATA | 0 | dev->hdr_type | 0,3-255[c] |
| HOST_DATA | 0 | dev->ide_cfg | 0-1[c] |
| HOST_DATA | 0 | dev->ide_tee_limit | 0-1[c] |
| HOST_DATA | 0 | dev->irq | 0-255 |
| HOST_DATA | 0 | dev->is_cxl | 0-1 |
| HOST_DATA | 0 | dev->multifunction | 0-1[c] |
| HOST_DATA | 0 | dev->nr_ide_mem | 0-255[c] |
| HOST_DATA | 0 | dev->pcie_flags_reg | 0-u16max |
| HOST_DATA | 0 | dev->pcie_mpss | 0-7[c] |
| HOST_DATA | 0 | dev->pin | 0 |
| HOST_DATA | 0 | dev->pme_support | 0-31[c] |
| HOST_DATA | 0 | dev->ptm_granularity | 0-255[c] |
| HOST_DATA | 0 | dev->revision | 0-255 |
| HOST_DATA | 0 | dev->subsystem_device | 0-u16max |
| HOST_DATA | 0 | dev->subsystem_vendor | 0-u16max |
| HOST_DATA | 0 | dev->supported_speeds | 0,2-254[c] |
| HOST_DATA | 0 | dev->transparent | 0[c] |
| HOST_DATA | 0 | dev->vendor | 0-u16max |
| HALF_LOCKED2 | 0 | &dev->vpd.lock |
drivers/pci/vpd.c pci_vpd_size() -> pci_read_vpd_any()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | dev->dev.kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | dev->dev.kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->vpd.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->vpd.lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->vpd.lock.first_waiter->list.next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->vpd.lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->vpd.lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->vpd.lock.first_waiter->magic | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->vpd.lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->vpd.lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | dev->vpd.lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->vpd.lock.first_waiter->task->blocked_on | (-1)-0 |
| PARAM_VALUE | 0 | dev->vpd.lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->vpd.lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | *dev->saved_config_space | 0-4294967295 |
| PARAM_VALUE | 1 | pos | s64min,1-s64max |
| PARAM_VALUE | 2 | count | 2 |
| PARAM_VALUE | 3 | buf | 3083870805411090433 |
| PARAM_VALUE | 3 | *buf | 0-255 |
| BUF_SIZE | 0 | dev | (-1),1-s32max |
| BUF_SIZE | 0 | dev | (-1),1-s32max |
| BUF_SIZE | 3 | buf | 2 |
| CAPPED_DATA | 1 | pos | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | dev->acs_capabilities | 0-u16max |
| HOST_DATA | 0 | dev->class | 0-16777215 |
| HOST_DATA | 0 | dev->current_state | 0-3[c] |
| HOST_DATA | 0 | dev->devcap | 0-u32max |
| HOST_DATA | 0 | dev->devfn | 0-503[c] |
| HOST_DATA | 0 | dev->device | 0-u16max |
| HOST_DATA | 0 | dev->eetlp_prefix_max | 0-7[c] |
| HOST_DATA | 0 | dev->fm_enabled | 0-1[c] |
| HOST_DATA | 0 | dev->hdr_type | 0,3-255[c] |
| HOST_DATA | 0 | dev->ide_cfg | 0-1[c] |
| HOST_DATA | 0 | dev->ide_tee_limit | 0-1[c] |
| HOST_DATA | 0 | dev->irq | 0-255 |
| HOST_DATA | 0 | dev->is_cxl | 0-1 |
| HOST_DATA | 0 | dev->multifunction | 0-1[c] |
| HOST_DATA | 0 | dev->nr_ide_mem | 0-255[c] |
| HOST_DATA | 0 | dev->pcie_flags_reg | 0-u16max |
| HOST_DATA | 0 | dev->pcie_mpss | 0-7[c] |
| HOST_DATA | 0 | dev->pin | 0 |
| HOST_DATA | 0 | dev->pme_support | 0-31[c] |
| HOST_DATA | 0 | dev->ptm_granularity | 0-255[c] |
| HOST_DATA | 0 | dev->revision | 0-255 |
| HOST_DATA | 0 | dev->subsystem_device | 0-u16max |
| HOST_DATA | 0 | dev->subsystem_vendor | 0-u16max |
| HOST_DATA | 0 | dev->supported_speeds | 0,2-254[c] |
| HOST_DATA | 0 | dev->transparent | 0[c] |
| HOST_DATA | 0 | dev->vendor | 0-u16max |
| HALF_LOCKED2 | 0 | &dev->vpd.lock |
drivers/pci/vpd.c pci_vpd_size() -> pci_read_vpd_any()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev | 4096-ptr_max |
| PARAM_VALUE | 0 | dev->dev.kobj.release.wq->dfl_pwq | 0-s64max |
| PARAM_VALUE | 0 | dev->dev.kobj.release.wq->saved_max_active | s32min-s32max |
| PARAM_VALUE | 0 | dev->dev.kobj.release.wq->saved_min_active | s32min-s32max |
| PARAM_VALUE | 0 | dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | dev->vpd.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dev->vpd.lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dev->vpd.lock.first_waiter->list.next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->vpd.lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->vpd.lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->vpd.lock.first_waiter->magic | 5159360019465732096 |
| PARAM_VALUE | 0 | dev->vpd.lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | dev->vpd.lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | dev->vpd.lock.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->vpd.lock.first_waiter->task->blocked_on | (-1)-0 |
| PARAM_VALUE | 0 | dev->vpd.lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | dev->vpd.lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | *dev->saved_config_space | 0-4294967295 |
| PARAM_VALUE | 2 | count | 1 |
| PARAM_VALUE | 3 | buf | 3083870805411090432 |
| BUF_SIZE | 0 | dev | (-1),1-s32max |
| BUF_SIZE | 0 | dev | (-1),1-s32max |
| BUF_SIZE | 3 | buf | 3 |
| DATA_SOURCE | 0 | dev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | dev->acs_capabilities | 0-u16max |
| HOST_DATA | 0 | dev->class | 0-16777215 |
| HOST_DATA | 0 | dev->current_state | 0-3[c] |
| HOST_DATA | 0 | dev->devcap | 0-u32max |
| HOST_DATA | 0 | dev->devfn | 0-503[c] |
| HOST_DATA | 0 | dev->device | 0-u16max |
| HOST_DATA | 0 | dev->eetlp_prefix_max | 0-7[c] |
| HOST_DATA | 0 | dev->fm_enabled | 0-1[c] |
| HOST_DATA | 0 | dev->hdr_type | 0,3-255[c] |
| HOST_DATA | 0 | dev->ide_cfg | 0-1[c] |
| HOST_DATA | 0 | dev->ide_tee_limit | 0-1[c] |
| HOST_DATA | 0 | dev->irq | 0-255 |
| HOST_DATA | 0 | dev->is_cxl | 0-1 |
| HOST_DATA | 0 | dev->multifunction | 0-1[c] |
| HOST_DATA | 0 | dev->nr_ide_mem | 0-255[c] |
| HOST_DATA | 0 | dev->pcie_flags_reg | 0-u16max |
| HOST_DATA | 0 | dev->pcie_mpss | 0-7[c] |
| HOST_DATA | 0 | dev->pin | 0 |
| HOST_DATA | 0 | dev->pme_support | 0-31[c] |
| HOST_DATA | 0 | dev->ptm_granularity | 0-255[c] |
| HOST_DATA | 0 | dev->revision | 0-255 |
| HOST_DATA | 0 | dev->subsystem_device | 0-u16max |
| HOST_DATA | 0 | dev->subsystem_vendor | 0-u16max |
| HOST_DATA | 0 | dev->supported_speeds | 0,2-254[c] |
| HOST_DATA | 0 | dev->transparent | 0[c] |
| HOST_DATA | 0 | dev->vendor | 0-u16max |
| HALF_LOCKED2 | 0 | &dev->vpd.lock |