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_create_symlink_to_pcidev() -> edd_get_pci_dev()

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.notify_next 0,426918848001064960
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
CAPPED_DATA 0 edev->kobj.sd 1
DATA_SOURCE 0 edev $0