Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/fujitsu-laptop.c acpi_fujitsu_laptop_probe() -> fujitsu_laptop_platform_remove()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 dev->driver_data 4096-ptr_max
PARAM_VALUE 0 dev->driver_data->input->dev.dma_io_tlb_mem->dyn_alloc.data.counter 9007199250546704
PARAM_VALUE 0 dev->driver_data->input->dev.dma_io_tlb_mem->dyn_alloc.entry.prev 1473117533515866344
PARAM_VALUE 0 dev->driver_data->input->dev.dma_io_tlb_mem->dyn_alloc.func 1583282886040592384
PARAM_VALUE 0 dev->driver_data->input->dev.dma_io_tlb_mem->pools.prev 1473117533515866320
PARAM_VALUE 0 dev->driver_data->input->dev.fwnode->dev->power.set_latency_tolerance 5740181548905971712
PARAM_VALUE 0 dev->driver_data->input->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 dev->driver_data->input->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 dev->driver_data->input->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 dev->driver_data->input->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 dev->driver_data->input->dev.kobj.sd->active.counter (-2147483647)
PARAM_VALUE 0 dev->driver_data->input->dev.kobj.sd->attr.notify_next 0,426918848001064960
PARAM_VALUE 0 dev->driver_data->input->dev.p->klist_children.get 2213798222526185472
PARAM_VALUE 0 dev->driver_data->input->dev.p->klist_children.put 3126867300421632000
PARAM_VALUE 0 dev->driver_data->input->dev.p->knode_bus.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 dev->driver_data->input->dev.p->knode_class.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 dev->driver_data->input->dev.p->knode_parent.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 dev->driver_data->input->devres_managed 1
PARAM_VALUE 0 dev->driver_data->input->getkeycode 4238107648137248768,8136061661555138560
PARAM_VALUE 0 dev->driver_data->input->hint_events_per_packet 1-4294967295
PARAM_VALUE 0 dev->driver_data->input->id.bustype 25
PARAM_VALUE 0 dev->driver_data->input->keycodemax 1-s32max
PARAM_VALUE 0 dev->driver_data->input->max_vals 1-4294967295
PARAM_VALUE 0 dev->driver_data->input->mt->slot s32min-s32max
PARAM_VALUE 0 dev->driver_data->input->name 7440861122855190528
PARAM_VALUE 0 dev->driver_data->input->node.next 8912400628449923072
PARAM_VALUE 0 dev->driver_data->input->poller->poll_interval 1-4294967295
PARAM_VALUE 0 dev->driver_data->input->poller->poll_interval_max 1-4294967295
PARAM_VALUE 0 dev->driver_data->input->setkeycode 6831800467930587136,8312272885086769152
PARAM_VALUE 0 dev->driver_data->input->timer.lockdep_map->name 0-255
PARAM_VALUE 0 dev->driver_data->pf_device->dev.bus->dev_groups 890666487010902016
PARAM_VALUE 0 dev->driver_data->pf_device->dev.bus->dma_cleanup 2567693292227600384
PARAM_VALUE 0 dev->driver_data->pf_device->dev.bus->dma_configure 7339647197731467264
PARAM_VALUE 0 dev->driver_data->pf_device->dev.bus->match 1790182723300528128
PARAM_VALUE 0 dev->driver_data->pf_device->dev.bus->pm 5393334728557981696
PARAM_VALUE 0 dev->driver_data->pf_device->dev.bus->probe 3034367972688941056
PARAM_VALUE 0 dev->driver_data->pf_device->dev.bus->remove 3664030250746302464
PARAM_VALUE 0 dev->driver_data->pf_device->dev.bus->shutdown 4550783666758901760
PARAM_VALUE 0 dev->driver_data->pf_device->dev.bus->uevent 7642397512928026624
PARAM_VALUE 0 dev->driver_data->pf_device->dev.fwnode->dev->power.set_latency_tolerance 5740181548905971712
PARAM_VALUE 0 dev->driver_data->pf_device->dev.kobj->name 0-255
PARAM_VALUE 0 dev->driver_data->pf_device->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 dev->driver_data->pf_device->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 dev->driver_data->pf_device->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 dev->driver_data->pf_device->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 dev->driver_data->pf_device->dev.kobj.sd->active.counter (-2147483647)
PARAM_VALUE 0 dev->driver_data->pf_device->dev.kobj.sd->attr.notify_next 0,426918848001064960
PARAM_VALUE 0 dev->driver_data->pf_device->dev.p->klist_children.get 2213798222526185472
PARAM_VALUE 0 dev->driver_data->pf_device->dev.p->klist_children.put 3126867300421632000
PARAM_VALUE 0 dev->driver_data->pf_device->dev.p->knode_bus.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 dev->driver_data->pf_device->dev.p->knode_class.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 dev->driver_data->pf_device->dev.p->knode_parent.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 dev->driver_data->pf_device->dev.parent->devt 0-s32max
PARAM_VALUE 0 dev->driver_data->pf_device->dev.parent->id 0-s32max
PARAM_VALUE 0 dev->driver_data->pf_device->dev.parent->kobj.release.timer.flags 0-s32max
PARAM_VALUE 0 dev->driver_data->pf_device->dev.parent->links.status 0-s32max
PARAM_VALUE 0 dev->driver_data->pf_device->dev.parent->removable 0-s32max
PARAM_VALUE 0 dev->driver_data->pf_device->id 0-s32max
PARAM_VALUE 0 dev->driver_data->pf_device->id_auto 1
PARAM_VALUE 0 *dev->driver_data->input->keycode (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *dev->driver_data->input->name 0-255
PARAM_VALUE 0 *dev->driver_data->input->phys 0-255
PARAM_VALUE 0 *dev->driver_data->input->rep s32min-s32max
PARAM_VALUE 0 *dev->driver_data->pf_device->dev->driver_data (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *dev->driver_data->phys 0-255
BUF_SIZE 0 dev 1616
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/platform/x86/fujitsu-laptop.c acpi_fujitsu_laptop_remove() -> fujitsu_laptop_platform_remove()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->driver_data 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex