Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/firmware/edd.c edd_get_pci_dev() -> edd_dev_is_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | edev | 4096-ptr_max |
| PARAM_VALUE | 0 | edev->index | 0-s32max |
| PARAM_VALUE | 0 | edev->info | 4096-ptr_max |
| PARAM_VALUE | 0 | edev->kobj.entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | edev->kobj.kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | edev->kobj.kset | 0,4096-ptr_max |
| PARAM_VALUE | 0 | edev->kobj.kset->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | edev->kobj.kset->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | edev->kobj.kset->list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | edev->kobj.kset->list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | edev->kobj.ktype | 4096-ptr_max |
| PARAM_VALUE | 0 | edev->kobj.parent | 4096-ptr_max |
| PARAM_VALUE | 0 | edev->kobj.sd | 4096-ptr_max |
| PARAM_VALUE | 0 | edev->kobj.sd->active.counter | (-2147483647) |
| PARAM_VALUE | 0 | edev->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | edev->kobj.state_add_uevent_sent | 0 |
| PARAM_VALUE | 0 | edev->kobj.state_in_sysfs | 1 |
| PARAM_VALUE | 0 | edev->kobj.state_initialized | 1 |
| PARAM_VALUE | 0 | edev->kobj.state_remove_uevent_sent | 0 |
| PARAM_VALUE | 1 | type | 7378026556088598528 |
| BUF_SIZE | 1 | type | 4 |
| CAPPED_DATA | 0 | edev->index | 1 |
| DATA_SOURCE | 0 | edev | $0 |
| STR_LEN | 0 | edev | 3 |
| TERMINATED | 1 | type | 1 |
drivers/firmware/edd.c edd_get_pci_dev() -> edd_dev_is_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | edev | 4096-ptr_max |
| PARAM_VALUE | 0 | edev->index | 0-s32max |
| PARAM_VALUE | 0 | edev->info | 4096-ptr_max |
| PARAM_VALUE | 0 | edev->kobj.entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | edev->kobj.kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | edev->kobj.kset | 0,4096-ptr_max |
| PARAM_VALUE | 0 | edev->kobj.kset->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | edev->kobj.kset->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | edev->kobj.kset->list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | edev->kobj.kset->list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | edev->kobj.ktype | 4096-ptr_max |
| PARAM_VALUE | 0 | edev->kobj.parent | 4096-ptr_max |
| PARAM_VALUE | 0 | edev->kobj.sd | 4096-ptr_max |
| PARAM_VALUE | 0 | edev->kobj.sd->active.counter | (-2147483647) |
| PARAM_VALUE | 0 | edev->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | edev->kobj.state_add_uevent_sent | 0 |
| PARAM_VALUE | 0 | edev->kobj.state_in_sysfs | 1 |
| PARAM_VALUE | 0 | edev->kobj.state_initialized | 1 |
| PARAM_VALUE | 0 | edev->kobj.state_remove_uevent_sent | 0 |
| PARAM_VALUE | 1 | type | 7168837100611366912 |
| BUF_SIZE | 1 | type | 5 |
| CAPPED_DATA | 0 | edev->index | 1 |
| DATA_SOURCE | 0 | edev | $0 |
| STR_LEN | 0 | edev | 4 |
| TERMINATED | 1 | type | 1 |