Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/input/serio/serio.c serio_open() -> (struct serio)->open()

Type Parameter Key Value
PARAM_VALUE 0 io 4096-ptr_max
PARAM_VALUE 0 io->dev.driver_data 1-u64max
PARAM_VALUE 0 io->dev.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 io->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 io->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 io->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 io->dev.p->dead 0-1
PARAM_VALUE 0 io->dev.p->deferred_probe_reason 0-s64max
PARAM_VALUE 0 io->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 io->drv 4096-ptr_max
PARAM_VALUE 0 io->drv->cleanup 0,5295240782667907072,6389516439830728704
PARAM_VALUE 0 io->drv->connect 4096-ptr_max
PARAM_VALUE 0 io->drv->description 4096-ptr_max
PARAM_VALUE 0 io->drv->disconnect 4096-ptr_max
PARAM_VALUE 0 io->drv->fast_reconnect 0,7392953420624187392
PARAM_VALUE 0 io->drv->id_table 4096-ptr_max
PARAM_VALUE 0 io->drv->interrupt 4096-ptr_max
PARAM_VALUE 0 io->drv->reconnect 0,1973852914453200896,3734160408227966976,3826938294829096960,7661431019737776128
PARAM_VALUE 0 io->drv->write_wakeup 0,3070275202085548032
PARAM_VALUE 0 io->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 io->open 1-u64max
BUF_SIZE 0 io->dev.driver (-1),152
DATA_SOURCE 0 io $0
CONTAINER 0 -288+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &psmouse_mutex