Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
- drivers/base/test/swnode-devlink-test.c, line 315
- drivers/gpio/gpiolib-kunit.c
- lib/kunit/platform.c, line 195
Smatch caller information:
drivers/gpio/gpiolib-kunit.c gpio_swnode_probe_defer_on_unregistered() -> kunit_platform_device_unregister()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test->last_seen.file | 4521726187253084160 |
| PARAM_VALUE | 0 | test->last_seen.line | 513 |
| PARAM_VALUE | 0 | test->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | pdev | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.bus->bus_groups | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->dev_groups | 890666487010902016 |
| PARAM_VALUE | 1 | pdev->dev.bus->dev_name | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->dma_cleanup | 2567693292227600384 |
| PARAM_VALUE | 1 | pdev->dev.bus->dma_configure | 7339647197731467264 |
| PARAM_VALUE | 1 | pdev->dev.bus->driver_override | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->drv_groups | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->irq_get_affinity | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->match | 1790182723300528128 |
| PARAM_VALUE | 1 | pdev->dev.bus->need_parent_lock | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->num_vf | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->offline | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->online | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->pm | 5393334728557981696 |
| PARAM_VALUE | 1 | pdev->dev.bus->probe | 3034367972688941056 |
| PARAM_VALUE | 1 | pdev->dev.bus->remove | 3664030250746302464 |
| PARAM_VALUE | 1 | pdev->dev.bus->resume | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->shutdown | 4550783666758901760 |
| PARAM_VALUE | 1 | pdev->dev.bus->suspend | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->sync_state | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->uevent | 7642397512928026624 |
| PARAM_VALUE | 1 | pdev->dev.driver | 0 |
| PARAM_VALUE | 1 | pdev->dev.flags | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 1 | pdev->dev.kobj->name | 0-255 |
| PARAM_VALUE | 1 | pdev->dev.kobj->release.timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.kobj.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.kobj.parent->release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 1 | pdev->dev.kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 1 | pdev->dev.kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 1 | pdev->dev.kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 1 | pdev->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | pdev->dev.kobj.sd->dir.children.rb_node | 0 |
| PARAM_VALUE | 1 | pdev->dev.kobj.sd->priv | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.p | 0,4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 1 | pdev->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 1 | pdev->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 1 | pdev->dev.p->knode_driver.n_klist | 0 |
| PARAM_VALUE | 1 | pdev->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 1 | pdev->dev.parent->devt | 0-s32max |
| PARAM_VALUE | 1 | pdev->dev.parent->id | 0-s32max |
| PARAM_VALUE | 1 | pdev->dev.parent->kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.parent->kobj.release.timer.flags | 0-s32max |
| PARAM_VALUE | 1 | pdev->dev.parent->links.status | 0-s32max |
| PARAM_VALUE | 1 | pdev->dev.parent->removable | 0-s32max |
| PARAM_VALUE | 1 | pdev->dev.physical_location->dock | 0 |
| PARAM_VALUE | 1 | pdev->dev.physical_location->horizontal_position | 0 |
| PARAM_VALUE | 1 | pdev->dev.physical_location->lid | 0 |
| PARAM_VALUE | 1 | pdev->dev.physical_location->panel | 0 |
| PARAM_VALUE | 1 | pdev->dev.physical_location->vertical_position | 0 |
| PARAM_VALUE | 1 | pdev->dev.power.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.power.entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.power.irq_safe | 0 |
| PARAM_VALUE | 1 | pdev->id | 0-s32max |
| PARAM_VALUE | 1 | pdev->id_auto | 1 |
| BUF_SIZE | 0 | test->last_seen.file | 29 |
| BUF_SIZE | 1 | pdev | 1688 |
| CAPPED_DATA | 1 | pdev->num_resources | 1 |
| DATA_SOURCE | 0 | test | $0 |
| DATA_SOURCE | 1 | pdev | r kunit_platform_device_register_full |
| STR_LEN | 0 | test->last_seen.file | 28 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | pdev->pdev.id |
drivers/gpio/gpiolib-kunit.c gpio_unbind_with_consumers() -> kunit_platform_device_unregister()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test->last_seen.file | 4521726187253084160 |
| PARAM_VALUE | 0 | test->last_seen.line | 662 |
| PARAM_VALUE | 0 | test->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | pdev | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.bus->bus_groups | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->dev_groups | 890666487010902016 |
| PARAM_VALUE | 1 | pdev->dev.bus->dev_name | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->dma_cleanup | 2567693292227600384 |
| PARAM_VALUE | 1 | pdev->dev.bus->dma_configure | 7339647197731467264 |
| PARAM_VALUE | 1 | pdev->dev.bus->driver_override | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->drv_groups | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->irq_get_affinity | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->match | 1790182723300528128 |
| PARAM_VALUE | 1 | pdev->dev.bus->need_parent_lock | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->num_vf | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->offline | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->online | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->pm | 5393334728557981696 |
| PARAM_VALUE | 1 | pdev->dev.bus->probe | 3034367972688941056 |
| PARAM_VALUE | 1 | pdev->dev.bus->remove | 3664030250746302464 |
| PARAM_VALUE | 1 | pdev->dev.bus->resume | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->shutdown | 4550783666758901760 |
| PARAM_VALUE | 1 | pdev->dev.bus->suspend | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->sync_state | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->uevent | 7642397512928026624 |
| PARAM_VALUE | 1 | pdev->dev.driver | 0 |
| PARAM_VALUE | 1 | pdev->dev.flags | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 1 | pdev->dev.kobj->name | 0-255 |
| PARAM_VALUE | 1 | pdev->dev.kobj->release.timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.kobj.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.kobj.parent->release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 1 | pdev->dev.kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 1 | pdev->dev.kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 1 | pdev->dev.kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 1 | pdev->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 1 | pdev->dev.kobj.sd->dir.children.rb_node | 0 |
| PARAM_VALUE | 1 | pdev->dev.kobj.sd->priv | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 1 | pdev->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 1 | pdev->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 1 | pdev->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 1 | pdev->dev.parent->devt | 0-s32max |
| PARAM_VALUE | 1 | pdev->dev.parent->id | 0-s32max |
| PARAM_VALUE | 1 | pdev->dev.parent->kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.parent->kobj.release.timer.flags | 0-s32max |
| PARAM_VALUE | 1 | pdev->dev.parent->links.status | 0-s32max |
| PARAM_VALUE | 1 | pdev->dev.parent->removable | 0-s32max |
| PARAM_VALUE | 1 | pdev->dev.physical_location->dock | 0 |
| PARAM_VALUE | 1 | pdev->dev.physical_location->horizontal_position | 0 |
| PARAM_VALUE | 1 | pdev->dev.physical_location->lid | 0 |
| PARAM_VALUE | 1 | pdev->dev.physical_location->panel | 0 |
| PARAM_VALUE | 1 | pdev->dev.physical_location->vertical_position | 0 |
| PARAM_VALUE | 1 | pdev->dev.power.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.power.entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.power.irq_safe | 0 |
| PARAM_VALUE | 1 | pdev->id | 0-s32max |
| PARAM_VALUE | 1 | pdev->id_auto | 1 |
| BUF_SIZE | 0 | test->last_seen.file | 29 |
| BUF_SIZE | 1 | pdev | 1688 |
| CAPPED_DATA | 1 | pdev->num_resources | 1 |
| DATA_SOURCE | 0 | test | $0 |
| DATA_SOURCE | 1 | pdev | r kunit_platform_device_register_full |
| STR_LEN | 0 | test->last_seen.file | 28 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | pdev->pdev.id |
drivers/base/test/swnode-devlink-test.c swnode_devlink_test_probe_order() -> kunit_platform_device_unregister()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->last_seen.file | 3113111990925307904,8090938237943001088 |
| PARAM_VALUE | 0 | test->last_seen.line | 99,312 |
| PARAM_VALUE | 0 | test->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->log->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->status | 1 |
| PARAM_VALUE | 1 | pdev | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.bus->bus_groups | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->dev_groups | 890666487010902016 |
| PARAM_VALUE | 1 | pdev->dev.bus->dev_name | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->dma_cleanup | 2567693292227600384 |
| PARAM_VALUE | 1 | pdev->dev.bus->dma_configure | 7339647197731467264 |
| PARAM_VALUE | 1 | pdev->dev.bus->driver_override | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->drv_groups | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->irq_get_affinity | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->match | 1790182723300528128 |
| PARAM_VALUE | 1 | pdev->dev.bus->need_parent_lock | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->num_vf | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->offline | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->online | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->pm | 5393334728557981696 |
| PARAM_VALUE | 1 | pdev->dev.bus->probe | 3034367972688941056 |
| PARAM_VALUE | 1 | pdev->dev.bus->remove | 3664030250746302464 |
| PARAM_VALUE | 1 | pdev->dev.bus->resume | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->shutdown | 4550783666758901760 |
| PARAM_VALUE | 1 | pdev->dev.bus->suspend | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->sync_state | 0 |
| PARAM_VALUE | 1 | pdev->dev.bus->uevent | 7642397512928026624 |
| PARAM_VALUE | 1 | pdev->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 1 | pdev->dev.fwnode->secondary | 0,4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.kobj->name | 0-255 |
| PARAM_VALUE | 1 | pdev->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 1 | pdev->dev.kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 1 | pdev->dev.kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 1 | pdev->dev.kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 1 | pdev->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | pdev->dev.kobj.sd->active.counter | (-2147483647) |
| PARAM_VALUE | 1 | pdev->dev.kobj.sd->attr.notify_next | 0,426918848001064960 |
| PARAM_VALUE | 1 | pdev->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 1 | pdev->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 1 | pdev->dev.p->knode_bus.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 1 | pdev->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 1 | pdev->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 1 | pdev->dev.parent->devt | 0-s32max |
| PARAM_VALUE | 1 | pdev->dev.parent->id | 0-s32max |
| PARAM_VALUE | 1 | pdev->dev.parent->links.status | 0-s32max |
| PARAM_VALUE | 1 | pdev->dev.parent->removable | 0-s32max |
| PARAM_VALUE | 1 | pdev->dev.physical_location->dock | 0 |
| PARAM_VALUE | 1 | pdev->dev.physical_location->horizontal_position | 0 |
| PARAM_VALUE | 1 | pdev->dev.physical_location->lid | 0 |
| PARAM_VALUE | 1 | pdev->dev.physical_location->panel | 0 |
| PARAM_VALUE | 1 | pdev->dev.physical_location->vertical_position | 0 |
| PARAM_VALUE | 1 | pdev->id | 0-s32max |
| PARAM_VALUE | 1 | pdev->id_auto | 1 |
| BUF_SIZE | 0 | test->last_seen.file | (-1),40 |
| BUF_SIZE | 1 | pdev | s32min,(-10),1-s32max |
| BUF_SIZE | 1 | pdev | s32min,(-10),1-s32max |
| CAPPED_DATA | 1 | pdev | 1 |
| CAPPED_DATA | 1 | pdev->num_resources | 1 |
| DATA_SOURCE | 0 | test | $0 |
| DATA_SOURCE | 1 | pdev | r kunit_platform_device_alloc |
| FUZZY_MAX | 0 | test->last_seen.line | 312 |
| STR_LEN | 0 | test->last_seen.file | (-1),39 |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |