Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/firmware/edd.c edd_dev_is_type() -> edd_dev_get_info()

Type Parameter Key Value
PARAM_VALUE 0 edev 4096-ptr_max
PARAM_VALUE 0 edev->info 4096-ptr_max
CAPPED_DATA 0 edev->index 1
DATA_SOURCE 0 edev $0
STR_LEN 0 edev 3-4
STR_LEN 0 edev 3-4

drivers/firmware/edd.c edd_get_pci_dev() -> edd_dev_get_info()

Type Parameter Key Value
PARAM_VALUE 0 edev 4096-ptr_max
PARAM_VALUE 0 edev->info 4096-ptr_max
CAPPED_DATA 0 edev->index 1
DATA_SOURCE 0 edev $0

drivers/firmware/edd.c edd_has_default_cylinders() -> edd_dev_get_info()

Type Parameter Key Value
PARAM_VALUE 0 edev 4096-ptr_max
PARAM_VALUE 0 edev->info 4096-ptr_max
CAPPED_DATA 0 edev->kobj.sd 1
DATA_SOURCE 0 edev $0

drivers/firmware/edd.c edd_has_default_heads() -> edd_dev_get_info()

Type Parameter Key Value
PARAM_VALUE 0 edev 4096-ptr_max
PARAM_VALUE 0 edev->info 4096-ptr_max
CAPPED_DATA 0 edev->kobj.sd 1
DATA_SOURCE 0 edev $0

drivers/firmware/edd.c edd_has_default_sectors_per_track() -> edd_dev_get_info()

Type Parameter Key Value
PARAM_VALUE 0 edev 4096-ptr_max
PARAM_VALUE 0 edev->info 4096-ptr_max
CAPPED_DATA 0 edev->kobj.sd 1
DATA_SOURCE 0 edev $0

drivers/firmware/edd.c edd_has_edd30() -> edd_dev_get_info()

Type Parameter Key Value
PARAM_VALUE 0 edev 4096-ptr_max
PARAM_VALUE 0 edev->info 4096-ptr_max
CAPPED_DATA 0 edev->kobj.sd 1
DATA_SOURCE 0 edev $0

drivers/firmware/edd.c edd_has_legacy_max_cylinder() -> edd_dev_get_info()

Type Parameter Key Value
PARAM_VALUE 0 edev 4096-ptr_max
PARAM_VALUE 0 edev->info 4096-ptr_max
CAPPED_DATA 0 edev->kobj.sd 1
DATA_SOURCE 0 edev $0

drivers/firmware/edd.c edd_has_legacy_max_head() -> edd_dev_get_info()

Type Parameter Key Value
PARAM_VALUE 0 edev 4096-ptr_max
PARAM_VALUE 0 edev->info 4096-ptr_max
CAPPED_DATA 0 edev->kobj.sd 1
DATA_SOURCE 0 edev $0

drivers/firmware/edd.c edd_has_legacy_sectors_per_track() -> edd_dev_get_info()

Type Parameter Key Value
PARAM_VALUE 0 edev 4096-ptr_max
PARAM_VALUE 0 edev->info 4096-ptr_max
CAPPED_DATA 0 edev->kobj.sd 1
DATA_SOURCE 0 edev $0

drivers/firmware/edd.c edd_show_default_cylinders() -> edd_dev_get_info()

Type Parameter Key Value
PARAM_VALUE 0 edev 4096-ptr_max
DATA_SOURCE 0 edev $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/firmware/edd.c edd_show_default_heads() -> edd_dev_get_info()

Type Parameter Key Value
PARAM_VALUE 0 edev 4096-ptr_max
DATA_SOURCE 0 edev $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/firmware/edd.c edd_show_default_sectors_per_track() -> edd_dev_get_info()

Type Parameter Key Value
PARAM_VALUE 0 edev 4096-ptr_max
DATA_SOURCE 0 edev $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/firmware/edd.c edd_show_extensions() -> edd_dev_get_info()

Type Parameter Key Value
PARAM_VALUE 0 edev 4096-ptr_max
DATA_SOURCE 0 edev $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/firmware/edd.c edd_show_host_bus() -> edd_dev_get_info()

Type Parameter Key Value
PARAM_VALUE 0 edev 4096-ptr_max
DATA_SOURCE 0 edev $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/firmware/edd.c edd_show_info_flags() -> edd_dev_get_info()

Type Parameter Key Value
PARAM_VALUE 0 edev 4096-ptr_max
DATA_SOURCE 0 edev $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/firmware/edd.c edd_show_interface() -> edd_dev_get_info()

Type Parameter Key Value
PARAM_VALUE 0 edev 4096-ptr_max
DATA_SOURCE 0 edev $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/firmware/edd.c edd_show_legacy_max_cylinder() -> edd_dev_get_info()

Type Parameter Key Value
PARAM_VALUE 0 edev 4096-ptr_max
DATA_SOURCE 0 edev $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/firmware/edd.c edd_show_legacy_max_head() -> edd_dev_get_info()

Type Parameter Key Value
PARAM_VALUE 0 edev 4096-ptr_max
DATA_SOURCE 0 edev $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/firmware/edd.c edd_show_legacy_sectors_per_track() -> edd_dev_get_info()

Type Parameter Key Value
PARAM_VALUE 0 edev 4096-ptr_max
DATA_SOURCE 0 edev $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/firmware/edd.c edd_show_raw_data() -> edd_dev_get_info()

Type Parameter Key Value
PARAM_VALUE 0 edev 4096-ptr_max
DATA_SOURCE 0 edev $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/firmware/edd.c edd_show_sectors() -> edd_dev_get_info()

Type Parameter Key Value
PARAM_VALUE 0 edev 4096-ptr_max
DATA_SOURCE 0 edev $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/firmware/edd.c edd_show_version() -> edd_dev_get_info()

Type Parameter Key Value
PARAM_VALUE 0 edev 4096-ptr_max
DATA_SOURCE 0 edev $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex