Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/platform/x86/eeepc-laptop.c eeepc_register_rfkill_notifier() -> eeepc_rfkill_hotplug()

Type Parameter Key Value
PARAM_VALUE 0 eeepc 4096-ptr_max
PARAM_VALUE 0 eeepc->device 4096-ptr_max
PARAM_VALUE 0 eeepc->device->handle 4096-ptr_max
PARAM_VALUE 0 eeepc->device->status.enabled 0
PARAM_VALUE 0 eeepc->device->status.functional 0
PARAM_VALUE 0 eeepc->device->status.present 1
PARAM_VALUE 0 eeepc->handle 4096-ptr_max
PARAM_VALUE 0 eeepc->handle->common.descriptor_type 15
PARAM_VALUE 0 eeepc->hotplug_disabled 0
PARAM_VALUE 0 eeepc->hotplug_lock.dep_map->name 0-255
PARAM_VALUE 0 eeepc->hotplug_lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 eeepc->hotplug_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 eeepc->hotplug_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 eeepc->hotplug_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 eeepc->hotplug_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 eeepc->hotplug_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 eeepc->hotplug_lock.first_waiter->task->blocked_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 eeepc->hotplug_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 eeepc->inputdev 4096-ptr_max
PARAM_VALUE 0 eeepc->inputdev->dev.power.completion.done u32max
PARAM_VALUE 0 eeepc->inputdev->dev.power.entry.next 4096-ptr_max
PARAM_VALUE 0 eeepc->inputdev->dev.power.entry.prev 4096-ptr_max
PARAM_VALUE 0 eeepc->inputdev->dev.power.usage_count.counter 0-s32max
PARAM_VALUE 0 eeepc->inputdev->getkeycode 4238107648137248768,8136061661555138560
PARAM_VALUE 0 eeepc->inputdev->h_list.next 4096-ptr_max
PARAM_VALUE 0 eeepc->inputdev->hint_events_per_packet 1-u32max
PARAM_VALUE 0 eeepc->inputdev->id.bustype 25
PARAM_VALUE 0 eeepc->inputdev->keycode 4096-ptr_max
PARAM_VALUE 0 eeepc->inputdev->keycodemax 1-s32max
PARAM_VALUE 0 eeepc->inputdev->max_vals 1-u32max
PARAM_VALUE 0 eeepc->inputdev->mt 0,4096-ptr_max
PARAM_VALUE 0 eeepc->inputdev->name 7865132420976324608
PARAM_VALUE 0 eeepc->inputdev->node.next 8912400628449923072
PARAM_VALUE 0 eeepc->inputdev->node.prev 0,4096-ptr_max
PARAM_VALUE 0 eeepc->inputdev->phys 3062993774911086592
PARAM_VALUE 0 eeepc->inputdev->poller 0,4096-ptr_max
PARAM_VALUE 0 eeepc->inputdev->setkeycode 6831800467930587136,8312272885086769152
PARAM_VALUE 0 eeepc->inputdev->timer.flags 0-4194302
PARAM_VALUE 0 eeepc->inputdev->timer.function 5971979782733443072
PARAM_VALUE 0 eeepc->inputdev->vals 16,4096-ptr_max
PARAM_VALUE 0 eeepc->led_workqueue->flags 0-4294967295
PARAM_VALUE 0 eeepc->led_workqueue->flush_color s32min-s32max
PARAM_VALUE 0 eeepc->led_workqueue->nr_drainers s32min-s32max
PARAM_VALUE 0 eeepc->led_workqueue->work_color s32min-s32max
PARAM_VALUE 0 eeepc->led_workqueue->wq_dev 0-s64max
PARAM_VALUE 0 eeepc->platform_device 4096-ptr_max
PARAM_VALUE 0 eeepc->platform_device->dev.bus->dev_groups 890666487010902016
PARAM_VALUE 0 eeepc->platform_device->dev.bus->dma_cleanup 2567693292227600384
PARAM_VALUE 0 eeepc->platform_device->dev.bus->dma_configure 7339647197731467264
PARAM_VALUE 0 eeepc->platform_device->dev.bus->match 1790182723300528128
PARAM_VALUE 0 eeepc->platform_device->dev.bus->pm 5393334728557981696
PARAM_VALUE 0 eeepc->platform_device->dev.bus->probe 3034367972688941056
PARAM_VALUE 0 eeepc->platform_device->dev.bus->remove 3664030250746302464
PARAM_VALUE 0 eeepc->platform_device->dev.bus->shutdown 4550783666758901760
PARAM_VALUE 0 eeepc->platform_device->dev.bus->uevent 7642397512928026624
PARAM_VALUE 0 eeepc->platform_device->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 eeepc->platform_device->dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 eeepc->platform_device->dev.devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 eeepc->platform_device->dev.fwnode->dev 4096-ptr_max
PARAM_VALUE 0 eeepc->platform_device->dev.fwnode->dev->fwnode 4096-ptr_max
PARAM_VALUE 0 eeepc->platform_device->dev.fwnode->dev->p 1-u64max
PARAM_VALUE 0 eeepc->platform_device->dev.fwnode->dev->power.set_latency_tolerance 5740181548905971712
PARAM_VALUE 0 eeepc->platform_device->dev.fwnode->suppliers.next 4096-ptr_max
PARAM_VALUE 0 eeepc->platform_device->dev.fwnode->suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 eeepc->platform_device->dev.fwnode->suppliers.next->prev 4096-ptr_max
PARAM_VALUE 0 eeepc->platform_device->dev.kobj->kset->kobj.release.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 eeepc->platform_device->dev.kobj->name 0-255
PARAM_VALUE 0 eeepc->platform_device->dev.kobj.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 eeepc->platform_device->dev.kobj.parent->release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 eeepc->platform_device->dev.kobj.parent->release.timer.is_hard 0-1
PARAM_VALUE 0 eeepc->platform_device->dev.kobj.parent->release.timer.is_lazy 0-1
PARAM_VALUE 0 eeepc->platform_device->dev.kobj.parent->release.timer.is_queued 0-1
PARAM_VALUE 0 eeepc->platform_device->dev.kobj.parent->release.timer.is_soft 0-1
PARAM_VALUE 0 eeepc->platform_device->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 eeepc->platform_device->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 eeepc->platform_device->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 eeepc->platform_device->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 eeepc->platform_device->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 eeepc->platform_device->dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 eeepc->platform_device->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 eeepc->platform_device->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 eeepc->platform_device->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 eeepc->platform_device->dev.kobj.sd->attr.notify_next 0,426918848001064960
PARAM_VALUE 0 eeepc->platform_device->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 eeepc->platform_device->dev.p->dead 0-1
PARAM_VALUE 0 eeepc->platform_device->dev.p->deferred_probe_reason 0-s64max
PARAM_VALUE 0 eeepc->platform_device->dev.p->klist_children.get 2213798222526185472
PARAM_VALUE 0 eeepc->platform_device->dev.p->klist_children.put 3126867300421632000
PARAM_VALUE 0 eeepc->platform_device->dev.p->knode_class.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 eeepc->platform_device->dev.p->knode_parent.n_ref.refcount.refs.counter 1
PARAM_VALUE 0 eeepc->platform_device->dev.parent->init_name 0,7173432766328545280
PARAM_VALUE 0 eeepc->platform_device->dev.parent->kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 eeepc->platform_device->dev.parent->kobj.release.timer.flags 0-s32max
PARAM_VALUE 0 eeepc->platform_device->dev.parent->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 eeepc->platform_device->dev.parent->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 eeepc->platform_device->dev.parent->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 eeepc->platform_device->dev.parent->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 eeepc->platform_device->dev.parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 eeepc->platform_device->dev.parent->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 eeepc->platform_device->dev.parent->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 eeepc->platform_device->dev.parent->links.status 0,3
PARAM_VALUE 0 eeepc->platform_device->dev.power.completion.done u32max
PARAM_VALUE 0 eeepc->platform_device->dev.power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 eeepc->platform_device->dev.power.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 eeepc->platform_device->dev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 eeepc->platform_device->dev.power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 eeepc->platform_device->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 eeepc->platform_device->id 0-s32max
PARAM_VALUE 0 eeepc->platform_device->id_auto 1
PARAM_VALUE 0 eeepc->tpd_led.dev->iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 eeepc->tpd_led.dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 eeepc->tpd_led.trigger_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 eeepc->tpd_led.trigger_lock.first_waiter->type 0-1
PARAM_VALUE 0 *eeepc->platform_device->dev->kobj.release.timer->entry.pprev 4096-ptr_max
BUF_SIZE 0 eeepc 1384
DATA_SOURCE 0 eeepc $0
TERMINATED 0 eeepc->inputdev->name 1
TERMINATED 0 eeepc->inputdev->phys 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 eeepc->backlight_device->props.brightness
NO_OVERFLOW_SIMPLE 0 eeepc->inputdev->keycodemax
NO_OVERFLOW_SIMPLE 0 eeepc->inputdev->max_vals
NO_OVERFLOW_SIMPLE 0 eeepc->platform_device->pdev.id
NO_OVERFLOW_SIMPLE 0 eeepc->tpd_led.blink_delay_off
NO_OVERFLOW_SIMPLE 0 eeepc->tpd_led.blink_delay_on
NO_OVERFLOW_SIMPLE 1 handle->object->string.length

drivers/platform/x86/eeepc-laptop.c eeepc_rfkill_hotplug_update() -> eeepc_rfkill_hotplug()

Type Parameter Key Value
PARAM_VALUE 0 eeepc 4096-ptr_max
PARAM_VALUE 0 eeepc->wlan_rfkill 1-u64max
BUF_SIZE 0 eeepc s32min-(-2),1-s32max
BUF_SIZE 0 eeepc s32min-(-2),1-s32max
DATA_SOURCE 0 eeepc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 eeepc unit_byte

drivers/platform/x86/eeepc-laptop.c eeepc_rfkill_notify() -> eeepc_rfkill_hotplug()

Type Parameter Key Value
BUF_SIZE 0 eeepc 16,24,40,56,108-1096,1384,1600,1616,1752,2072,2480,2576,7472,8064
BUF_SIZE 0 eeepc 16,24,40,56,108-1096,1384,1600,1616,1752,2072,2480,2576,7472,8064
DATA_SOURCE 0 eeepc $2
DATA_SOURCE 1 handle $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/platform/x86/eeepc-laptop.c eeepc_unregister_rfkill_notifier() -> eeepc_rfkill_hotplug()

Type Parameter Key Value
PARAM_VALUE 0 eeepc 4096-ptr_max
PARAM_VALUE 0 eeepc->platform_device->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 eeepc->platform_device->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 eeepc->tpd_led.dev->kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 eeepc->tpd_led.dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 eeepc->tpd_led.trigger_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 eeepc->tpd_led.trigger_lock.first_waiter->type 0-1
BUF_SIZE 0 eeepc s32min-(-1),1-s32max
BUF_SIZE 0 eeepc s32min-(-1),1-s32max
DATA_SOURCE 0 eeepc $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 eeepc->backlight_device->props.brightness
NO_OVERFLOW_SIMPLE 0 eeepc->inputdev->keycodemax
NO_OVERFLOW_SIMPLE 0 eeepc->inputdev->max_vals
NO_OVERFLOW_SIMPLE 0 eeepc->platform_device->pdev.id
NO_OVERFLOW_SIMPLE 0 eeepc->tpd_led.blink_delay_off
NO_OVERFLOW_SIMPLE 0 eeepc->tpd_led.blink_delay_on
UNITS 0 eeepc unit_byte