Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/base/dd.c __device_release_driver() -> device_unbind_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->bus 0,4096-ptr_max
PARAM_VALUE 0 dev->class 0,4096-ptr_max
PARAM_VALUE 0 dev->driver 4096-ptr_max
PARAM_VALUE 0 dev->driver->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 dev->driver_data 0
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.devres_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.kobj.release.cpu s32min-s32max
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.kobj.state_add_uevent_sent 0-1
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.kobj.state_initialized 0-1
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.kobj.state_remove_uevent_sent 0-1
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.kobj.uevent_suppress 0-1
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.p->dead 1
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.p->knode_class.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.p->knode_parent.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.parent->kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.parent->kobj.release.cpu s32min-s32max
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.parent->kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.power.completion.done 0-4294967295
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.power.deferred_resume 0-1
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.power.disable_depth 0-7
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.power.idle_notification 0-1
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.power.last_status s32min-s32max
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.power.needs_force_resume 0-1
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.power.no_pm_callbacks 0-1
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.power.request 0-4294967295
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.power.request_pending 0-1
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.power.runtime_error s32min-s32max
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.power.runtime_status s32min-s32max
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.power.timer_autosuspends 0-1
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.power.usage_count.counter s32min-s32max
PARAM_VALUE 0 dev->driver_data->battery_dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->driver_data->battery_dev->id (-2)
PARAM_VALUE 0 dev->driver_data->cmt_speech 0
PARAM_VALUE 0 dev->driver_data->cmt_speech->device.devres_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->driver_data->cmt_speech->device.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 dev->driver_data->cmt_speech->device.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 dev->driver_data->cmt_speech->device.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 dev->driver_data->cmt_speech->device.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 dev->driver_data->cmt_speech->device.p->dead 1
PARAM_VALUE 0 dev->driver_data->cmt_speech->device.p->knode_class.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->driver_data->cmt_speech->device.p->knode_parent.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->driver_data->cmt_speech->device.power.completion.done 4294967295
PARAM_VALUE 0 dev->driver_data->cmt_speech->device.power.last_status s32min-0,2,4-s32max
PARAM_VALUE 0 dev->driver_data->cmt_speech->device.power.qos (-19),0
PARAM_VALUE 0 dev->driver_data->cmt_speech->device.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dev->driver_data->cmt_speech->device.power.runtime_status 2
PARAM_VALUE 0 dev->driver_data->cmt_speech->device.power.usage_count.counter 0-s32max
PARAM_VALUE 0 dev->driver_data->cmt_speech->device.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->driver_data->ssi_protocol 0
PARAM_VALUE 0 dev->driver_data->ssi_protocol->device.devres_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->driver_data->ssi_protocol->device.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 dev->driver_data->ssi_protocol->device.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 dev->driver_data->ssi_protocol->device.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 dev->driver_data->ssi_protocol->device.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 dev->driver_data->ssi_protocol->device.p->dead 1
PARAM_VALUE 0 dev->driver_data->ssi_protocol->device.p->knode_class.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->driver_data->ssi_protocol->device.power.completion.done 4294967295
PARAM_VALUE 0 dev->driver_data->ssi_protocol->device.power.last_status s32min-0,2,4-s32max
PARAM_VALUE 0 dev->driver_data->ssi_protocol->device.power.qos (-19),0
PARAM_VALUE 0 dev->driver_data->ssi_protocol->device.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dev->driver_data->ssi_protocol->device.power.runtime_status 2
PARAM_VALUE 0 dev->driver_data->ssi_protocol->device.power.usage_count.counter 0-s32max
PARAM_VALUE 0 dev->driver_data->ssi_protocol->device.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.devres_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.kobj.release.cpu s32min-s32max
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.kobj.state_add_uevent_sent 0-1
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.kobj.state_initialized 0-1
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.kobj.state_remove_uevent_sent 0-1
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.kobj.uevent_suppress 0-1
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.p->dead 1
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.p->knode_class.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.p->knode_parent.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.parent->kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.parent->kobj.release.cpu s32min-s32max
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.parent->kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.power.completion.done 0-4294967295
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.power.deferred_resume 0-1
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.power.disable_depth 0-7
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.power.idle_notification 0-1
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.power.last_status s32min-s32max
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.power.needs_force_resume 0-1
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.power.no_pm_callbacks 0-1
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.power.request 0-4294967295
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.power.request_pending 0-1
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.power.runtime_error s32min-s32max
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.power.runtime_status s32min-s32max
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.power.timer_autosuspends 0-1
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.power.usage_count.counter s32min-s32max
PARAM_VALUE 0 dev->driver_data->touch_dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 dev->driver_data->touch_dev->id (-2)
PARAM_VALUE 0 dev->kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->kobj.sd 0,4096-ptr_max
PARAM_VALUE 0 dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->links.status 3
PARAM_VALUE 0 dev->power.last_status s32min-0,2,4-s32max
PARAM_VALUE 0 dev->power.request_pending 0
PARAM_VALUE 0 dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dev->power.runtime_status 0,2
PARAM_VALUE 0 dev->power.timer_expires 0
PARAM_VALUE 0 dev->power.usage_count.counter 0-s32max
PARAM_VALUE 0 dev->power.use_autosuspend 0
PARAM_VALUE 0 dev->power.wakeirq 0,4096-ptr_max
PARAM_VALUE 0 dev->type 0,4096-ptr_max
CAPPED_DATA 0 dev->bus 1
CAPPED_DATA 0 dev->driver 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 dev unit_byte
LOCK2 0 &dev->mutex
TYPE_LOCK (struct device)->mutex

drivers/base/dd.c really_probe() -> device_unbind_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->bus 4096-ptr_max
PARAM_VALUE 0 dev->driver 4096-ptr_max
PARAM_VALUE 0 dev->driver->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 dev->flags 4096-ptr_max
PARAM_VALUE 0 dev->kobj.sd 4096-ptr_max
PARAM_VALUE 0 dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->p->dead 0
PARAM_VALUE 0 dev->parent->bus 0,4096-ptr_max
PARAM_VALUE 0 dev->parent->class 0,4096-ptr_max
PARAM_VALUE 0 dev->parent->power.request 0-4
PARAM_VALUE 0 dev->parent->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dev->parent->power.wakeirq 0,4096-ptr_max
PARAM_VALUE 0 dev->parent->type 0,4096-ptr_max
PARAM_VALUE 0 dev->pins->p 0,4096-u64max
PARAM_VALUE 0 dev->pm_domain 0,4096-ptr_max
BUF_SIZE 0 dev (-1)-0,16,24,56,64,120,1616,7104
BUF_SIZE 0 dev (-1)-0,16,24,56,64,120,1616,7104
CAPPED_DATA 0 &dev->devres_head 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &dev->mutex

drivers/base/dd.c really_probe() -> device_unbind_cleanup()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->flags 4096-ptr_max
PARAM_VALUE 0 dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 dev->links.status 0
PARAM_VALUE 0 dev->parent->bus 0,4096-ptr_max
PARAM_VALUE 0 dev->parent->class 0,4096-ptr_max
PARAM_VALUE 0 dev->parent->power.request 0-4
PARAM_VALUE 0 dev->parent->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 dev->parent->power.wakeirq 0,4096-ptr_max
PARAM_VALUE 0 dev->parent->type 0,4096-ptr_max
PARAM_VALUE 0 dev->pins->p 0,4096-u64max
BUF_SIZE 0 dev (-1)-0,16,24,56,64,120,1616,7104
BUF_SIZE 0 dev (-1)-0,16,24,56,64,120,1616,7104
CAPPED_DATA 0 &dev->devres_head 1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 0 &dev->mutex