Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/topstar-laptop.c topstar_acpi_probe() -> topstar_input_exit()

Type Parameter Key Value
PARAM_VALUE 0 topstar 4096-ptr_max
PARAM_VALUE 0 topstar->device 4096-ptr_max
PARAM_VALUE 0 topstar->device->handle 0,4096-ptr_max,(-1)
PARAM_VALUE 0 topstar->device->handle->common.descriptor_type 15
PARAM_VALUE 0 topstar->input 4096-ptr_max
PARAM_VALUE 0 topstar->input->getkeycode 4238107648137248768,8136061661555138560
PARAM_VALUE 0 topstar->input->h_list.next 4096-ptr_max
PARAM_VALUE 0 topstar->input->hint_events_per_packet 1-u32max
PARAM_VALUE 0 topstar->input->id.bustype 25
PARAM_VALUE 0 topstar->input->keycode 4096-ptr_max
PARAM_VALUE 0 topstar->input->keycodemax 1-s32max
PARAM_VALUE 0 topstar->input->max_vals 1-u32max
PARAM_VALUE 0 topstar->input->mt 0,4096-ptr_max
PARAM_VALUE 0 topstar->input->name 7970491336372281344
PARAM_VALUE 0 topstar->input->node.next 8912400628449923072
PARAM_VALUE 0 topstar->input->node.prev 0,4096-ptr_max
PARAM_VALUE 0 topstar->input->phys 3522482164776001536
PARAM_VALUE 0 topstar->input->poller 0,4096-ptr_max
PARAM_VALUE 0 topstar->input->setkeycode 6831800467930587136,8312272885086769152
PARAM_VALUE 0 topstar->input->vals 16,4096-ptr_max
PARAM_VALUE 0 topstar->led->dev->driver_data->cis_virt (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 topstar->led->dev->kobj.release.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 topstar->led.brightness_hw_changed_kn 0
PARAM_VALUE 0 topstar->led.dev 0,(-4095)-(-1)
PARAM_VALUE 0 topstar->led.led_access.dep_map->name 0-255
PARAM_VALUE 0 topstar->led.led_access.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 topstar->led.led_access.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 topstar->led.led_access.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 topstar->led.led_access.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 topstar->led.led_access.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 topstar->led.led_access.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 topstar->led.led_access.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 topstar->led.led_access.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 topstar->led.led_access.magic 4096-ptr_max
PARAM_VALUE 0 topstar->led.led_access.osq.tail.counter 0-s32max
PARAM_VALUE 0 topstar->led.trigger_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 topstar->led.trigger_lock.first_waiter->type 0-1
PARAM_VALUE 0 topstar->platform 4096-ptr_max
PARAM_VALUE 0 topstar->platform->dev.bus->dev_groups 890666487010902016
PARAM_VALUE 0 topstar->platform->dev.bus->dma_cleanup 2567693292227600384
PARAM_VALUE 0 topstar->platform->dev.bus->dma_configure 7339647197731467264
PARAM_VALUE 0 topstar->platform->dev.bus->match 1790182723300528128
PARAM_VALUE 0 topstar->platform->dev.bus->pm 5393334728557981696
PARAM_VALUE 0 topstar->platform->dev.bus->probe 3034367972688941056
PARAM_VALUE 0 topstar->platform->dev.bus->remove 3664030250746302464
PARAM_VALUE 0 topstar->platform->dev.bus->shutdown 4550783666758901760
PARAM_VALUE 0 topstar->platform->dev.bus->uevent 7642397512928026624
PARAM_VALUE 0 topstar->platform->dev.fwnode->dev 4096-ptr_max
PARAM_VALUE 0 topstar->platform->dev.fwnode->dev->fwnode 4096-ptr_max
PARAM_VALUE 0 topstar->platform->dev.fwnode->dev->p 1-u64max
PARAM_VALUE 0 topstar->platform->dev.fwnode->dev->power.set_latency_tolerance 5740181548905971712
PARAM_VALUE 0 topstar->platform->dev.fwnode->suppliers.next 4096-ptr_max
PARAM_VALUE 0 topstar->platform->dev.fwnode->suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 topstar->platform->dev.kobj->name 0-255
PARAM_VALUE 0 topstar->platform->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 topstar->platform->dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 topstar->platform->dev.kobj.sd->active.counter (-2147483647)
PARAM_VALUE 0 topstar->platform->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 topstar->platform->dev.p->klist_children.get 2213798222526185472
PARAM_VALUE 0 topstar->platform->dev.p->klist_children.put 3126867300421632000
PARAM_VALUE 0 topstar->platform->dev.p->knode_bus.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 topstar->platform->dev.p->knode_class.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 topstar->platform->dev.p->knode_parent.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 topstar->platform->dev.parent->devt 0-s32max
PARAM_VALUE 0 topstar->platform->dev.parent->id 0-s32max
PARAM_VALUE 0 topstar->platform->dev.parent->kobj.release.timer.flags 0-s32max
PARAM_VALUE 0 topstar->platform->dev.parent->links.status 0-s32max
PARAM_VALUE 0 topstar->platform->dev.parent->removable 0-s32max
PARAM_VALUE 0 topstar->platform->dev.physical_location->horizontal_position 0-3
PARAM_VALUE 0 topstar->platform->dev.physical_location->panel 0-7
PARAM_VALUE 0 topstar->platform->dev.physical_location->vertical_position 0-3
PARAM_VALUE 0 topstar->platform->id 0-s32max
PARAM_VALUE 0 topstar->platform->id_auto 1
BUF_SIZE 0 topstar 792
DATA_SOURCE 0 topstar r _kzalloc_noprof
TERMINATED 0 topstar->input->name 1
TERMINATED 0 topstar->input->phys 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 topstar->input->keycodemax
NO_OVERFLOW_SIMPLE 0 topstar->input->max_vals
NO_OVERFLOW_SIMPLE 0 topstar->platform->pdev.id

drivers/platform/x86/topstar-laptop.c topstar_acpi_remove() -> topstar_input_exit()

Type Parameter Key Value
PARAM_VALUE 0 topstar->led.dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 topstar->led.trigger_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 topstar->led.trigger_lock.first_waiter->type 0-1
BUF_SIZE 0 topstar s32min-(-2),1-s32max
BUF_SIZE 0 topstar s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 topstar unit_byte
HALF_LOCKED2 &_dev->mutex