Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 33 files:
- arch/arm/mach-omap1/devices.c, line 357
- arch/arm/mach-omap1/dma.c, line 384
- arch/arm/mach-orion5x/ts78xx-setup.c
- drivers/base/platform.c
- drivers/char/pc8736x_gpio.c, line 333
- drivers/char/scx200_gpio.c, line 115
- drivers/char/tpm/tpm_nsc.c, line 393
- drivers/firmware/qcom/qcom_scm.c, line 2345
- drivers/hwmon/ibmaem.c
- drivers/input/misc/ideapad_slidebar.c, line 322
- drivers/media/platform/ti/davinci/vpif.c, line 531
- drivers/net/ethernet/marvell/mv643xx_eth.c, line 2716
- drivers/platform/surface/surface3-wmi.c, line 273
- drivers/platform/surface/surface_aggregator_cdev.c, line 792
- drivers/platform/x86/asus-laptop.c, line 1652
- drivers/platform/x86/compal-laptop.c, line 1079
- drivers/platform/x86/dell/dell-laptop.c, line 2571
- drivers/platform/x86/dell/dell-smbios-base.c, line 631
- drivers/platform/x86/dell/dell-smbios-smm.c, line 135
- drivers/platform/x86/eeepc-laptop.c, line 461
- drivers/platform/x86/fujitsu-laptop.c, line 716
- drivers/platform/x86/hp/tc1100-wmi.c, line 250
- drivers/platform/x86/msi-laptop.c, line 1116
- drivers/rtc/rtc-test.c, line 176
- drivers/slimbus/qcom-ngd-ctrl.c, line 1563
- drivers/tty/serial/8250/8250_platform.c, line 338
- drivers/tty/serial/serial_txx9.c, line 1235
- drivers/usb/gadget/udc/dummy_hcd.c
- drivers/usb/usbip/vudc_main.c
- sound/soc/samsung/smdk_spdif.c
- sound/soc/ti/n810.c, line 354
- sound/soc/ti/omap3pandora.c, line 274
- sound/soc/ti/osk5912.c, line 156
Smatch caller information:
drivers/usb/gadget/udc/dummy_hcd.c dummy_hcd_init() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
drivers/usb/gadget/udc/dummy_hcd.c dummy_hcd_init() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
drivers/usb/gadget/udc/dummy_hcd.c dummy_hcd_init() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
drivers/usb/gadget/udc/dummy_hcd.c dummy_hcd_init() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
drivers/platform/x86/intel/oaktrail.c oaktrail_init() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.bus->bus_groups | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_groups | 890666487010902016 |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_name | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_cleanup | 2567693292227600384 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_configure | 7339647197731467264 |
| PARAM_VALUE | 0 | pdev->dev.bus->driver_override | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->drv_groups | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->match | 1790182723300528128 |
| PARAM_VALUE | 0 | pdev->dev.bus->need_parent_lock | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->num_vf | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->offline | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->online | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->pm | 5393334728557981696 |
| PARAM_VALUE | 0 | pdev->dev.bus->probe | 3034367972688941056 |
| PARAM_VALUE | 0 | pdev->dev.bus->remove | 3664030250746302464 |
| PARAM_VALUE | 0 | pdev->dev.bus->resume | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->shutdown | 4550783666758901760 |
| PARAM_VALUE | 0 | pdev->dev.bus->suspend | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->sync_state | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->uevent | 7642397512928026624 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->fwnode | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->p | 1-u64max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj->name | 0-255 |
| PARAM_VALUE | 0 | pdev->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->active.counter | (-2147483647) |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_bus.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.parent->devt | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->kobj.release.timer.flags | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->links.status | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->removable | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.physical_location->horizontal_position | 0-3 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->panel | 0-7 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->vertical_position | 0-3 |
| PARAM_VALUE | 0 | pdev->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->id_auto | 1 |
| BUF_SIZE | 0 | pdev | 1688 |
| CAPPED_DATA | 0 | pdev->num_resources | 1 |
| DATA_SOURCE | 0 | pdev | r platform_device_alloc |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | pdev->pdev.id |
drivers/net/ethernet/marvell/mv643xx_eth.c mv643xx_eth_shared_of_remove() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_dev->mutex |
sound/soc/samsung/smdk_spdif.c smdk_init() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_groups | 890666487010902016 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_cleanup | 2567693292227600384 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_configure | 7339647197731467264 |
| PARAM_VALUE | 0 | pdev->dev.bus->driver_override | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->match | 1790182723300528128 |
| PARAM_VALUE | 0 | pdev->dev.bus->need_parent_lock | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->num_vf | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->offline | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->online | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->pm | 5393334728557981696 |
| PARAM_VALUE | 0 | pdev->dev.bus->probe | 3034367972688941056 |
| PARAM_VALUE | 0 | pdev->dev.bus->remove | 3664030250746302464 |
| PARAM_VALUE | 0 | pdev->dev.bus->resume | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->shutdown | 4550783666758901760 |
| PARAM_VALUE | 0 | pdev->dev.bus->suspend | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->uevent | 7642397512928026624 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->fwnode | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->p | 1-u64max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj->name | 0-255 |
| PARAM_VALUE | 0 | pdev->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->active.counter | (-2147483647) |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_bus.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.parent->devt | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->kobj.release.timer.flags | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->links.status | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->removable | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.physical_location->horizontal_position | 0-3 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->panel | 0-7 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->vertical_position | 0-3 |
| PARAM_VALUE | 0 | pdev->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->id_auto | 1 |
| BUF_SIZE | 0 | pdev | 1688 |
| CAPPED_DATA | 0 | pdev->num_resources | 1 |
| DATA_SOURCE | 0 | pdev | r platform_device_alloc |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | pdev->pdev.id |
sound/soc/samsung/smdk_spdif.c smdk_init() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_groups | 890666487010902016 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_cleanup | 2567693292227600384 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_configure | 7339647197731467264 |
| PARAM_VALUE | 0 | pdev->dev.bus->driver_override | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->match | 1790182723300528128 |
| PARAM_VALUE | 0 | pdev->dev.bus->need_parent_lock | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->offline | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->online | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->pm | 5393334728557981696 |
| PARAM_VALUE | 0 | pdev->dev.bus->probe | 3034367972688941056 |
| PARAM_VALUE | 0 | pdev->dev.bus->remove | 3664030250746302464 |
| PARAM_VALUE | 0 | pdev->dev.bus->resume | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->shutdown | 4550783666758901760 |
| PARAM_VALUE | 0 | pdev->dev.bus->suspend | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->uevent | 7642397512928026624 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->fwnode | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->p | 1-u64max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj->name | 0-255 |
| PARAM_VALUE | 0 | pdev->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->active.counter | (-2147483647) |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_bus.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.parent->devt | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->kobj.release.timer.flags | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->links.status | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->removable | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.physical_location->horizontal_position | 0-3 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->panel | 0-7 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->vertical_position | 0-3 |
| PARAM_VALUE | 0 | pdev->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->id_auto | 1 |
| BUF_SIZE | 0 | pdev | 1688 |
| CAPPED_DATA | 0 | pdev->num_resources | 1 |
| DATA_SOURCE | 0 | pdev | r platform_device_alloc |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | pdev->pdev.id |
drivers/platform/x86/dell/dell-smbios-base.c dell_smbios_init() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.bus->bus_groups | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_groups | 890666487010902016 |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_name | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_cleanup | 2567693292227600384 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_configure | 7339647197731467264 |
| PARAM_VALUE | 0 | pdev->dev.bus->driver_override | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->drv_groups | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->match | 1790182723300528128 |
| PARAM_VALUE | 0 | pdev->dev.bus->need_parent_lock | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->num_vf | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->offline | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->online | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->pm | 5393334728557981696 |
| PARAM_VALUE | 0 | pdev->dev.bus->probe | 3034367972688941056 |
| PARAM_VALUE | 0 | pdev->dev.bus->remove | 3664030250746302464 |
| PARAM_VALUE | 0 | pdev->dev.bus->resume | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->shutdown | 4550783666758901760 |
| PARAM_VALUE | 0 | pdev->dev.bus->suspend | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->sync_state | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->uevent | 7642397512928026624 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 0 | pdev->dev.kobj->name | 0-255 |
| PARAM_VALUE | 0 | pdev->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_bus.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.parent->devt | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->kobj.release.timer.flags | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->links.status | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->removable | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.physical_location->horizontal_position | 0-3 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->panel | 0-7 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->vertical_position | 0-3 |
| PARAM_VALUE | 0 | pdev->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->id_auto | 1 |
| BUF_SIZE | 0 | pdev | 1688 |
| CAPPED_DATA | 0 | pdev->num_resources | 1 |
| DATA_SOURCE | 0 | pdev | r platform_device_alloc |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | pdev->pdev.id |
drivers/platform/surface/surface_aggregator_cdev.c ssam_debug_init() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.bus->bus_groups | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_groups | 890666487010902016 |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_name | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_cleanup | 2567693292227600384 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_configure | 7339647197731467264 |
| PARAM_VALUE | 0 | pdev->dev.bus->driver_override | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->drv_groups | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->match | 1790182723300528128 |
| PARAM_VALUE | 0 | pdev->dev.bus->need_parent_lock | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->num_vf | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->offline | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->online | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->pm | 5393334728557981696 |
| PARAM_VALUE | 0 | pdev->dev.bus->probe | 3034367972688941056 |
| PARAM_VALUE | 0 | pdev->dev.bus->remove | 3664030250746302464 |
| PARAM_VALUE | 0 | pdev->dev.bus->resume | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->shutdown | 4550783666758901760 |
| PARAM_VALUE | 0 | pdev->dev.bus->suspend | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->sync_state | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->uevent | 7642397512928026624 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 0 | pdev->dev.kobj->name | 0-255 |
| PARAM_VALUE | 0 | pdev->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->active.counter | (-2147483647) |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_bus.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.parent->devt | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->kobj.release.timer.flags | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->links.status | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->removable | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.physical_location->horizontal_position | 0-3 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->panel | 0-7 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->vertical_position | 0-3 |
| PARAM_VALUE | 0 | pdev->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->id_auto | 1 |
| BUF_SIZE | 0 | pdev | 1688 |
| CAPPED_DATA | 0 | pdev->num_resources | 1 |
| DATA_SOURCE | 0 | pdev | r platform_device_alloc |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | pdev->pdev.id |
drivers/platform/x86/fujitsu-laptop.c fujitsu_laptop_platform_add() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_groups | 890666487010902016 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_cleanup | 2567693292227600384 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_configure | 7339647197731467264 |
| PARAM_VALUE | 0 | pdev->dev.bus->driver_override | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->match | 1790182723300528128 |
| PARAM_VALUE | 0 | pdev->dev.bus->need_parent_lock | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->offline | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->online | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->pm | 5393334728557981696 |
| PARAM_VALUE | 0 | pdev->dev.bus->probe | 3034367972688941056 |
| PARAM_VALUE | 0 | pdev->dev.bus->remove | 3664030250746302464 |
| PARAM_VALUE | 0 | pdev->dev.bus->resume | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->shutdown | 4550783666758901760 |
| PARAM_VALUE | 0 | pdev->dev.bus->suspend | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->uevent | 7642397512928026624 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->fwnode | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->p | 1-u64max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj->name | 0-255 |
| PARAM_VALUE | 0 | pdev->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_bus.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.parent->devt | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->kobj.release.timer.flags | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->links.status | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->removable | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.physical_location->horizontal_position | 0-3 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->panel | 0-7 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->vertical_position | 0-3 |
| PARAM_VALUE | 0 | pdev->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->id_auto | 1 |
| BUF_SIZE | 0 | pdev | 1688 |
| CAPPED_DATA | 0 | pdev->num_resources | 1 |
| DATA_SOURCE | 0 | pdev | r platform_device_alloc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | pdev->pdev.id |
drivers/platform/x86/asus-laptop.c asus_platform_init() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_groups | 890666487010902016 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_cleanup | 2567693292227600384 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_configure | 7339647197731467264 |
| PARAM_VALUE | 0 | pdev->dev.bus->driver_override | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->match | 1790182723300528128 |
| PARAM_VALUE | 0 | pdev->dev.bus->need_parent_lock | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->offline | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->online | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->pm | 5393334728557981696 |
| PARAM_VALUE | 0 | pdev->dev.bus->probe | 3034367972688941056 |
| PARAM_VALUE | 0 | pdev->dev.bus->remove | 3664030250746302464 |
| PARAM_VALUE | 0 | pdev->dev.bus->resume | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->shutdown | 4550783666758901760 |
| PARAM_VALUE | 0 | pdev->dev.bus->suspend | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->uevent | 7642397512928026624 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->fwnode | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->p | 1-u64max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj->name | 0-255 |
| PARAM_VALUE | 0 | pdev->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_bus.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.parent->devt | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->kobj.release.timer.flags | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->links.status | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->removable | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.physical_location->horizontal_position | 0-3 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->panel | 0-7 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->vertical_position | 0-3 |
| PARAM_VALUE | 0 | pdev->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->id_auto | 1 |
| BUF_SIZE | 0 | pdev | 1688 |
| CAPPED_DATA | 0 | pdev->num_resources | 1 |
| DATA_SOURCE | 0 | pdev | r platform_device_alloc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | pdev->pdev.id |
drivers/slimbus/qcom-ngd-ctrl.c qcom_slim_ngd_unregister() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_dev->mutex |
drivers/rtc/rtc-test.c test_init() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
drivers/tty/serial/8250/8250_platform.c serial8250_init() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_groups | 890666487010902016 |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_name | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_cleanup | 2567693292227600384 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_configure | 7339647197731467264 |
| PARAM_VALUE | 0 | pdev->dev.bus->driver_override | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->match | 1790182723300528128 |
| PARAM_VALUE | 0 | pdev->dev.bus->need_parent_lock | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->num_vf | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->offline | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->online | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->pm | 5393334728557981696 |
| PARAM_VALUE | 0 | pdev->dev.bus->probe | 3034367972688941056 |
| PARAM_VALUE | 0 | pdev->dev.bus->remove | 3664030250746302464 |
| PARAM_VALUE | 0 | pdev->dev.bus->resume | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->shutdown | 4550783666758901760 |
| PARAM_VALUE | 0 | pdev->dev.bus->suspend | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->uevent | 7642397512928026624 |
| PARAM_VALUE | 0 | pdev->dev.cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | pdev->dev.dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->fwnode | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->p | 1-u64max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj->name | 0-255 |
| PARAM_VALUE | 0 | pdev->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->active.counter | (-2147483647) |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_bus.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.parent->devt | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->kobj.release.timer.flags | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->links.status | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->removable | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.physical_location->horizontal_position | 0-3 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->panel | 0-7 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->vertical_position | 0-3 |
| PARAM_VALUE | 0 | pdev->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->id_auto | 1 |
| BUF_SIZE | 0 | pdev | 1688 |
| CAPPED_DATA | 0 | pdev->num_resources | 1 |
| DATA_SOURCE | 0 | pdev | r platform_device_alloc |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | pdev->pdev.id |
drivers/platform/x86/eeepc-laptop.c eeepc_platform_init() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_groups | 890666487010902016 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_cleanup | 2567693292227600384 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_configure | 7339647197731467264 |
| PARAM_VALUE | 0 | pdev->dev.bus->driver_override | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->match | 1790182723300528128 |
| PARAM_VALUE | 0 | pdev->dev.bus->need_parent_lock | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->offline | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->online | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->pm | 5393334728557981696 |
| PARAM_VALUE | 0 | pdev->dev.bus->probe | 3034367972688941056 |
| PARAM_VALUE | 0 | pdev->dev.bus->remove | 3664030250746302464 |
| PARAM_VALUE | 0 | pdev->dev.bus->resume | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->shutdown | 4550783666758901760 |
| PARAM_VALUE | 0 | pdev->dev.bus->suspend | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->uevent | 7642397512928026624 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->fwnode | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->p | 1-u64max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj->name | 0-255 |
| PARAM_VALUE | 0 | pdev->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_bus.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.parent->devt | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->kobj.release.timer.flags | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->links.status | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->removable | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.physical_location->horizontal_position | 0-3 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->panel | 0-7 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->vertical_position | 0-3 |
| PARAM_VALUE | 0 | pdev->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->id_auto | 1 |
| BUF_SIZE | 0 | pdev | 1688 |
| CAPPED_DATA | 0 | pdev->num_resources | 1 |
| DATA_SOURCE | 0 | pdev | r platform_device_alloc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | pdev->pdev.id |
drivers/platform/x86/dell/dell-smbios-smm.c init_dell_smbios_smm() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.bus->bus_groups | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_groups | 890666487010902016 |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_name | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_cleanup | 2567693292227600384 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_configure | 7339647197731467264 |
| PARAM_VALUE | 0 | pdev->dev.bus->driver_override | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->drv_groups | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->match | 1790182723300528128 |
| PARAM_VALUE | 0 | pdev->dev.bus->need_parent_lock | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->num_vf | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->offline | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->online | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->pm | 5393334728557981696 |
| PARAM_VALUE | 0 | pdev->dev.bus->probe | 3034367972688941056 |
| PARAM_VALUE | 0 | pdev->dev.bus->remove | 3664030250746302464 |
| PARAM_VALUE | 0 | pdev->dev.bus->resume | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->shutdown | 4550783666758901760 |
| PARAM_VALUE | 0 | pdev->dev.bus->suspend | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->sync_state | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->uevent | 7642397512928026624 |
| PARAM_VALUE | 0 | pdev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->fwnode | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->p | 1-u64max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj->name | 0-255 |
| PARAM_VALUE | 0 | pdev->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->active.counter | (-2147483647) |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_bus.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.parent->devt | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->kobj.release.timer.flags | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->links.status | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->removable | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.physical_location->horizontal_position | 0-3 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->panel | 0-7 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->vertical_position | 0-3 |
| PARAM_VALUE | 0 | pdev->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->id_auto | 1 |
| BUF_SIZE | 0 | pdev | 1688 |
| CAPPED_DATA | 0 | pdev->num_resources | 1 |
| DATA_SOURCE | 0 | pdev | r platform_device_alloc |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | pdev->pdev.id |
drivers/hwmon/ibmaem.c aem_init_aem1_inst() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_groups | 890666487010902016 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_cleanup | 2567693292227600384 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_configure | 7339647197731467264 |
| PARAM_VALUE | 0 | pdev->dev.bus->driver_override | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->match | 1790182723300528128 |
| PARAM_VALUE | 0 | pdev->dev.bus->need_parent_lock | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->offline | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->online | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->pm | 5393334728557981696 |
| PARAM_VALUE | 0 | pdev->dev.bus->probe | 3034367972688941056 |
| PARAM_VALUE | 0 | pdev->dev.bus->remove | 3664030250746302464 |
| PARAM_VALUE | 0 | pdev->dev.bus->resume | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->shutdown | 4550783666758901760 |
| PARAM_VALUE | 0 | pdev->dev.bus->suspend | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->uevent | 7642397512928026624 |
| PARAM_VALUE | 0 | pdev->dev.driver_data | 0 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->fwnode | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->p | 1-u64max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj->name | 0-255 |
| PARAM_VALUE | 0 | pdev->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->active.counter | (-2147483647) |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->attr.notify_next | 0,426918848001064960 |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_bus.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.parent->devt | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->kobj.release.timer.flags | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->links.status | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->removable | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.physical_location->horizontal_position | 0-3 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->panel | 0-7 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->vertical_position | 0-3 |
| PARAM_VALUE | 0 | pdev->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->id_auto | 1 |
| BUF_SIZE | 0 | pdev | 1688 |
| CAPPED_DATA | 0 | pdev->num_resources | 1 |
| DATA_SOURCE | 0 | pdev | r platform_device_alloc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | pdev->pdev.id | |
| LOCK2 | global &smi_watchers_mutex |
drivers/hwmon/ibmaem.c aem_init_aem2_inst() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_groups | 890666487010902016 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_cleanup | 2567693292227600384 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_configure | 7339647197731467264 |
| PARAM_VALUE | 0 | pdev->dev.bus->driver_override | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->match | 1790182723300528128 |
| PARAM_VALUE | 0 | pdev->dev.bus->need_parent_lock | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->offline | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->online | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->pm | 5393334728557981696 |
| PARAM_VALUE | 0 | pdev->dev.bus->probe | 3034367972688941056 |
| PARAM_VALUE | 0 | pdev->dev.bus->remove | 3664030250746302464 |
| PARAM_VALUE | 0 | pdev->dev.bus->resume | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->shutdown | 4550783666758901760 |
| PARAM_VALUE | 0 | pdev->dev.bus->suspend | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->uevent | 7642397512928026624 |
| PARAM_VALUE | 0 | pdev->dev.driver_data | 0 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->fwnode | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->p | 1-u64max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj->name | 0-255 |
| PARAM_VALUE | 0 | pdev->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->active.counter | (-2147483647) |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->attr.notify_next | 0,426918848001064960 |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_bus.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.parent->devt | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->kobj.release.timer.flags | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->links.status | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->removable | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.physical_location->horizontal_position | 0-3 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->panel | 0-7 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->vertical_position | 0-3 |
| PARAM_VALUE | 0 | pdev->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->id_auto | 1 |
| BUF_SIZE | 0 | pdev | 1688 |
| CAPPED_DATA | 0 | pdev->num_resources | 1 |
| DATA_SOURCE | 0 | pdev | r platform_device_alloc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | pdev->pdev.id | |
| LOCK2 | global &smi_watchers_mutex |
drivers/base/platform.c __platform_create_bundle() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.bus->bus_groups | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_groups | 890666487010902016 |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_name | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_cleanup | 2567693292227600384 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_configure | 7339647197731467264 |
| PARAM_VALUE | 0 | pdev->dev.bus->driver_override | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->drv_groups | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->irq_get_affinity | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->match | 1790182723300528128 |
| PARAM_VALUE | 0 | pdev->dev.bus->need_parent_lock | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->num_vf | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->offline | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->online | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->pm | 5393334728557981696 |
| PARAM_VALUE | 0 | pdev->dev.bus->probe | 3034367972688941056 |
| PARAM_VALUE | 0 | pdev->dev.bus->remove | 3664030250746302464 |
| PARAM_VALUE | 0 | pdev->dev.bus->resume | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->shutdown | 4550783666758901760 |
| PARAM_VALUE | 0 | pdev->dev.bus->suspend | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->sync_state | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->uevent | 7642397512928026624 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->fwnode | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->p | 1-u64max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj->name | 0-255 |
| PARAM_VALUE | 0 | pdev->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->active.counter | (-2147483647) |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->dev.p->deferred_probe.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.p->deferred_probe.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.p->deferred_probe.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.p->deferred_probe.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.p->deferred_probe.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.p->device | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.p->device->p | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.k_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.k_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.k_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.k_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.k_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_bus.n_klist | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.p->knode_bus.n_node.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.p->knode_bus.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_class.n_klist | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.p->knode_class.n_node.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_parent.n_node.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.parent->devt | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->kobj.release.timer.flags | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->links.status | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->p->klist_children.k_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.parent->p->klist_children.k_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.parent->p->klist_children.k_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.parent->removable | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.physical_location->horizontal_position | 0-3 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->panel | 0-7 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->vertical_position | 0-3 |
| PARAM_VALUE | 0 | pdev->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->id_auto | 1 |
| PARAM_VALUE | 0 | pdev->num_resources | 0-1 |
| BUF_SIZE | 0 | pdev | 1688 |
| CAPPED_DATA | 0 | pdev->num_resources | 1 |
| DATA_SOURCE | 0 | pdev | r platform_device_alloc |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | pdev->num_resources | |
| NO_OVERFLOW_SIMPLE | 0 | pdev->pdev.id | |
| HALF_LOCKED2 | _T->lock |
drivers/base/platform.c platform_device_unregister() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | pdev | $0 |
| NOCHECK_CALL |
drivers/input/misc/ideapad_slidebar.c slidebar_init() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_groups | 890666487010902016 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_cleanup | 2567693292227600384 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_configure | 7339647197731467264 |
| PARAM_VALUE | 0 | pdev->dev.bus->driver_override | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->match | 1790182723300528128 |
| PARAM_VALUE | 0 | pdev->dev.bus->need_parent_lock | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->num_vf | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->offline | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->online | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->pm | 5393334728557981696 |
| PARAM_VALUE | 0 | pdev->dev.bus->probe | 3034367972688941056 |
| PARAM_VALUE | 0 | pdev->dev.bus->remove | 3664030250746302464 |
| PARAM_VALUE | 0 | pdev->dev.bus->resume | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->shutdown | 4550783666758901760 |
| PARAM_VALUE | 0 | pdev->dev.bus->suspend | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->uevent | 7642397512928026624 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->fwnode | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->p | 1-u64max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj->name | 0-255 |
| PARAM_VALUE | 0 | pdev->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->active.counter | (-2147483647) |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_bus.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.parent->devt | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->kobj.release.timer.flags | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->links.status | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->removable | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.physical_location->horizontal_position | 0-3 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->panel | 0-7 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->vertical_position | 0-3 |
| PARAM_VALUE | 0 | pdev->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->id_auto | 1 |
| BUF_SIZE | 0 | pdev | 1688 |
| CAPPED_DATA | 0 | pdev->num_resources | 1 |
| DATA_SOURCE | 0 | pdev | r platform_device_alloc |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | pdev->pdev.id |
drivers/platform/x86/dell/dell-laptop.c dell_init() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.bus->bus_groups | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_groups | 890666487010902016 |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_name | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_cleanup | 2567693292227600384 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_configure | 7339647197731467264 |
| PARAM_VALUE | 0 | pdev->dev.bus->driver_override | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->drv_groups | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->match | 1790182723300528128 |
| PARAM_VALUE | 0 | pdev->dev.bus->need_parent_lock | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->num_vf | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->offline | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->online | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->pm | 5393334728557981696 |
| PARAM_VALUE | 0 | pdev->dev.bus->probe | 3034367972688941056 |
| PARAM_VALUE | 0 | pdev->dev.bus->remove | 3664030250746302464 |
| PARAM_VALUE | 0 | pdev->dev.bus->resume | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->shutdown | 4550783666758901760 |
| PARAM_VALUE | 0 | pdev->dev.bus->suspend | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->sync_state | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->uevent | 7642397512928026624 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->fwnode | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->p | 1-u64max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj->name | 0-255 |
| PARAM_VALUE | 0 | pdev->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->active.counter | (-2147483647) |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_bus.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.parent->devt | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->kobj.release.timer.flags | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->links.status | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->removable | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.physical_location->horizontal_position | 0-3 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->panel | 0-7 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->vertical_position | 0-3 |
| PARAM_VALUE | 0 | pdev->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->id_auto | 1 |
| BUF_SIZE | 0 | pdev | 1688 |
| CAPPED_DATA | 0 | pdev->num_resources | 1 |
| DATA_SOURCE | 0 | pdev | r platform_device_alloc |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | pdev->pdev.id |
drivers/platform/x86/msi-laptop.c msi_init() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.bus->bus_groups | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_groups | 890666487010902016 |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_name | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_cleanup | 2567693292227600384 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_configure | 7339647197731467264 |
| PARAM_VALUE | 0 | pdev->dev.bus->driver_override | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->drv_groups | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->irq_get_affinity | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->match | 1790182723300528128 |
| PARAM_VALUE | 0 | pdev->dev.bus->need_parent_lock | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->num_vf | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->offline | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->online | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->pm | 5393334728557981696 |
| PARAM_VALUE | 0 | pdev->dev.bus->probe | 3034367972688941056 |
| PARAM_VALUE | 0 | pdev->dev.bus->remove | 3664030250746302464 |
| PARAM_VALUE | 0 | pdev->dev.bus->resume | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->shutdown | 4550783666758901760 |
| PARAM_VALUE | 0 | pdev->dev.bus->suspend | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->sync_state | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->uevent | 7642397512928026624 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->fwnode | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->p | 1-u64max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj->name | 0-255 |
| PARAM_VALUE | 0 | pdev->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_bus.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.parent->devt | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->kobj.release.timer.flags | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->links.status | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->removable | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.physical_location->horizontal_position | 0-3 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->panel | 0-7 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->vertical_position | 0-3 |
| PARAM_VALUE | 0 | pdev->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->id_auto | 1 |
| BUF_SIZE | 0 | pdev | 1688 |
| CAPPED_DATA | 0 | pdev->num_resources | 1 |
| DATA_SOURCE | 0 | pdev | r platform_device_alloc |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | pdev->pdev.id |
drivers/firmware/qcom/qcom_scm.c qcom_scm_qseecom_free() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | pdev | $0 |
| NOCHECK_CALL |
drivers/usb/usbip/vudc_main.c vudc_cleanup() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev->dev.power.wakeirq->status | 0-4294967295 |
| NOCHECK_CALL |
drivers/usb/usbip/vudc_main.c vudc_init() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev->dev.bus->dev_groups | 890666487010902016 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_cleanup | 2567693292227600384 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_configure | 7339647197731467264 |
| PARAM_VALUE | 0 | pdev->dev.bus->driver_override | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->match | 1790182723300528128 |
| PARAM_VALUE | 0 | pdev->dev.bus->need_parent_lock | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->offline | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->online | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->pm | 5393334728557981696 |
| PARAM_VALUE | 0 | pdev->dev.bus->probe | 3034367972688941056 |
| PARAM_VALUE | 0 | pdev->dev.bus->remove | 3664030250746302464 |
| PARAM_VALUE | 0 | pdev->dev.bus->resume | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->shutdown | 4550783666758901760 |
| PARAM_VALUE | 0 | pdev->dev.bus->suspend | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->uevent | 7642397512928026624 |
| PARAM_VALUE | 0 | pdev->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->dev.parent->devt | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->links.status | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->removable | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->id | (-2),0-s32max |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | pdev->pdev.id |
drivers/platform/x86/compal-laptop.c compal_init() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.bus->bus_groups | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_groups | 890666487010902016 |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_name | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_cleanup | 2567693292227600384 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_configure | 7339647197731467264 |
| PARAM_VALUE | 0 | pdev->dev.bus->driver_override | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->drv_groups | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->match | 1790182723300528128 |
| PARAM_VALUE | 0 | pdev->dev.bus->need_parent_lock | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->num_vf | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->offline | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->online | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->pm | 5393334728557981696 |
| PARAM_VALUE | 0 | pdev->dev.bus->probe | 3034367972688941056 |
| PARAM_VALUE | 0 | pdev->dev.bus->remove | 3664030250746302464 |
| PARAM_VALUE | 0 | pdev->dev.bus->resume | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->shutdown | 4550783666758901760 |
| PARAM_VALUE | 0 | pdev->dev.bus->suspend | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->sync_state | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->uevent | 7642397512928026624 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->fwnode | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->p | 1-u64max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj->name | 0-255 |
| PARAM_VALUE | 0 | pdev->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->active.counter | (-2147483647) |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_bus.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.parent->devt | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->kobj.release.timer.flags | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->links.status | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->removable | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.physical_location->horizontal_position | 0-3 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->panel | 0-7 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->vertical_position | 0-3 |
| PARAM_VALUE | 0 | pdev->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->id_auto | 1 |
| BUF_SIZE | 0 | pdev | 1688 |
| CAPPED_DATA | 0 | pdev->num_resources | 1 |
| DATA_SOURCE | 0 | pdev | r platform_device_alloc |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | pdev->pdev.id |
drivers/media/platform/ti/davinci/vpif.c vpif_probe() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.bus->bus_groups | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_groups | 890666487010902016 |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_name | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_cleanup | 2567693292227600384 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_configure | 7339647197731467264 |
| PARAM_VALUE | 0 | pdev->dev.bus->driver_override | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->drv_groups | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->irq_get_affinity | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->match | 1790182723300528128 |
| PARAM_VALUE | 0 | pdev->dev.bus->need_parent_lock | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->num_vf | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->offline | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->online | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->pm | 5393334728557981696 |
| PARAM_VALUE | 0 | pdev->dev.bus->probe | 3034367972688941056 |
| PARAM_VALUE | 0 | pdev->dev.bus->remove | 3664030250746302464 |
| PARAM_VALUE | 0 | pdev->dev.bus->resume | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->shutdown | 4550783666758901760 |
| PARAM_VALUE | 0 | pdev->dev.bus->suspend | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->sync_state | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->uevent | 7642397512928026624 |
| PARAM_VALUE | 0 | pdev->dev.devres_head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.devres_head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.dma_io_tlb_mem->dyn_alloc.data.counter | 9007199250546704 |
| PARAM_VALUE | 0 | pdev->dev.dma_io_tlb_mem->dyn_alloc.entry.prev | 1473117533515866344 |
| PARAM_VALUE | 0 | pdev->dev.dma_io_tlb_mem->dyn_alloc.func | 1583282886040592384 |
| PARAM_VALUE | 0 | pdev->dev.dma_io_tlb_mem->pools.prev | 1473117533515866320 |
| PARAM_VALUE | 0 | pdev->dev.dma_io_tlb_pools.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.dma_io_tlb_pools.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.dma_io_tlb_pools.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.dma_pools.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.dma_pools.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.dma_pools.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.flags | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->fwnode | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->p | 1-u64max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj->name | 0-255 |
| PARAM_VALUE | 0 | pdev->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.release.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | pdev->dev.kobj.release.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | pdev->dev.kobj.release.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | pdev->dev.kobj.release.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | pdev->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->active.counter | (-2147483647) |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->attr.notify_next | 0,426918848001064960 |
| PARAM_VALUE | 0 | pdev->dev.links.consumers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.links.consumers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.links.consumers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.links.defer_sync.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.links.defer_sync.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.links.defer_sync.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.links.suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.links.suppliers.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.links.suppliers.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_bus.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.parent->bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.parent->class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.parent->devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.parent->devt | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.parent->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->kobj.release.timer.flags | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->links.status | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->of_node | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.parent->power.last_status | (-1) |
| PARAM_VALUE | 0 | pdev->dev.parent->power.request | 0-4 |
| PARAM_VALUE | 0 | pdev->dev.parent->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->power.wakeirq | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.parent->removable | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->type | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.physical_location->horizontal_position | 0 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->panel | 0 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->vertical_position | 0 |
| PARAM_VALUE | 0 | pdev->dev.power.entry.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.power.entry.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.power.entry.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.power.wait_queue.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.power.wait_queue.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.power.wait_queue.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->id_auto | 1 |
| PARAM_VALUE | 0 | pdev->name | 1159974862032502784 |
| PARAM_VALUE | 0 | pdev->num_resources | 1 |
| PARAM_VALUE | 0 | pdev->platform_dma_mask | u32max |
| PARAM_VALUE | 0 | pdev->resource | 2225973668398669824 |
| PARAM_VALUE | 0 | *pdev->dev.dma_mask | u32max |
| BUF_SIZE | 0 | pdev | 1688 |
| BUF_SIZE | 0 | pdev->name | 13 |
| BUF_SIZE | 0 | pdev->resource | 64 |
| DATA_SOURCE | 0 | pdev | r _kzalloc_noprof |
| STR_LEN | 0 | pdev->name | 12 |
| TERMINATED | 0 | pdev->name | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/platform/surface/surface3-wmi.c s3_wmi_init() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.bus->bus_groups | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_groups | 890666487010902016 |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_name | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_cleanup | 2567693292227600384 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_configure | 7339647197731467264 |
| PARAM_VALUE | 0 | pdev->dev.bus->driver_override | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->drv_groups | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->irq_get_affinity | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->match | 1790182723300528128 |
| PARAM_VALUE | 0 | pdev->dev.bus->need_parent_lock | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->num_vf | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->offline | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->online | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->pm | 5393334728557981696 |
| PARAM_VALUE | 0 | pdev->dev.bus->probe | 3034367972688941056 |
| PARAM_VALUE | 0 | pdev->dev.bus->remove | 3664030250746302464 |
| PARAM_VALUE | 0 | pdev->dev.bus->resume | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->shutdown | 4550783666758901760 |
| PARAM_VALUE | 0 | pdev->dev.bus->suspend | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->sync_state | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->uevent | 7642397512928026624 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->fwnode | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->p | 1-u64max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj->name | 0-255 |
| PARAM_VALUE | 0 | pdev->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->active.counter | (-2147483647) |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_bus.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.parent->devt | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->kobj.release.timer.flags | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->links.status | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->removable | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.physical_location->horizontal_position | 0-3 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->panel | 0-7 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->vertical_position | 0-3 |
| PARAM_VALUE | 0 | pdev->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->id_auto | 1 |
| BUF_SIZE | 0 | pdev | 1688 |
| CAPPED_DATA | 0 | pdev->num_resources | 1 |
| DATA_SOURCE | 0 | pdev | r platform_device_alloc |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | pdev->pdev.id |
drivers/char/tpm/tpm_nsc.c init_nsc() -> platform_device_del()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.bus->bus_groups | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_groups | 890666487010902016 |
| PARAM_VALUE | 0 | pdev->dev.bus->dev_name | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_cleanup | 2567693292227600384 |
| PARAM_VALUE | 0 | pdev->dev.bus->dma_configure | 7339647197731467264 |
| PARAM_VALUE | 0 | pdev->dev.bus->driver_override | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->drv_groups | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->irq_get_affinity | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->match | 1790182723300528128 |
| PARAM_VALUE | 0 | pdev->dev.bus->need_parent_lock | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->num_vf | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->offline | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->online | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->pm | 5393334728557981696 |
| PARAM_VALUE | 0 | pdev->dev.bus->probe | 3034367972688941056 |
| PARAM_VALUE | 0 | pdev->dev.bus->remove | 3664030250746302464 |
| PARAM_VALUE | 0 | pdev->dev.bus->resume | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->shutdown | 4550783666758901760 |
| PARAM_VALUE | 0 | pdev->dev.bus->suspend | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->sync_state | 0 |
| PARAM_VALUE | 0 | pdev->dev.bus->uevent | 7642397512928026624 |
| PARAM_VALUE | 0 | pdev->dev.devres_head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.devres_head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.devres_head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.driver->bus | 2638458839708901376 |
| PARAM_VALUE | 0 | pdev->dev.driver->mod_name | 5350794613796036608 |
| PARAM_VALUE | 0 | pdev->dev.driver->owner | 0 |
| PARAM_VALUE | 0 | pdev->dev.driver->p | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->fwnode | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->p | 1-u64max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->dev->power.set_latency_tolerance | 5740181548905971712 |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.fwnode->suppliers.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj->name | 0-255 |
| PARAM_VALUE | 0 | pdev->dev.kobj.release->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.release.work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->active.counter | (-2147483647) |
| PARAM_VALUE | 0 | pdev->dev.kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.get | 2213798222526185472 |
| PARAM_VALUE | 0 | pdev->dev.p->klist_children.put | 3126867300421632000 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_bus.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_class.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.p->knode_parent.n_ref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | pdev->dev.parent->devt | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->kobj.release.timer.flags | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->links.status | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.parent->removable | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.physical_location->horizontal_position | 0-3 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->panel | 0-7 |
| PARAM_VALUE | 0 | pdev->dev.physical_location->vertical_position | 0-3 |
| PARAM_VALUE | 0 | pdev->id | 0-s32max |
| PARAM_VALUE | 0 | pdev->id_auto | 1 |
| PARAM_VALUE | 0 | pdev->num_resources | 0 |
| BUF_SIZE | 0 | pdev | 1688 |
| DATA_SOURCE | 0 | pdev | r platform_device_alloc |
| STR_LEN | 0 | pdev->dev.driver->mod_name | (-1) |
| TERMINATED | 0 | pdev->dev.driver->mod_name | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | pdev->pdev.id |