Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/input/serio/serio.c serio_close() -> serio_set_drv()

Type Parameter Key Value
PARAM_VALUE 0 serio 4096-ptr_max
PARAM_VALUE 0 serio->dev.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 serio->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 serio->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 serio->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 serio->dev.p->dead 0-1
PARAM_VALUE 0 serio->dev.p->deferred_probe_reason 0-s64max
PARAM_VALUE 0 serio->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 serio->drv 4096-ptr_max
PARAM_VALUE 1 drv 0
BUF_SIZE 0 serio->dev.driver (-1),152
CAPPED_DATA 0 serio 1
DATA_SOURCE 0 serio $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &psmouse_mutex

drivers/input/serio/serio.c serio_open() -> serio_set_drv()

Type Parameter Key Value
PARAM_VALUE 0 serio 4096-ptr_max
PARAM_VALUE 0 serio->dev.driver_data 1-u64max
PARAM_VALUE 0 serio->dev.iommu_group->owner_cnt 0-4294967295
PARAM_VALUE 0 serio->dev.kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 serio->dev.kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 serio->dev.kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 serio->dev.p->dead 0-1
PARAM_VALUE 0 serio->dev.p->deferred_probe_reason 0-s64max
PARAM_VALUE 0 serio->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 1 drv 4096-ptr_max
PARAM_VALUE 1 drv->cleanup 0,5295240782667907072,6389516439830728704
PARAM_VALUE 1 drv->connect 4096-ptr_max
PARAM_VALUE 1 drv->description 4096-ptr_max
PARAM_VALUE 1 drv->disconnect 4096-ptr_max
PARAM_VALUE 1 drv->driver 470310605980618752,552761390340767744,684342447671943168,825541564368683008,933398923161432064,942331462715789312,1749350180030504960,1846264576287301632,2096651444775419904,3022022381033521152,3208331857822269440-s64max
PARAM_VALUE 1 drv->fast_reconnect 0,7392953420624187392
PARAM_VALUE 1 drv->id_table 4096-ptr_max
PARAM_VALUE 1 drv->interrupt 4096-ptr_max
PARAM_VALUE 1 drv->reconnect 0,1973852914453200896,3734160408227966976,3826938294829096960,7661431019737776128
PARAM_VALUE 1 drv->write_wakeup 0,3070275202085548032
BUF_SIZE 0 serio->dev.driver (-1),152
DATA_SOURCE 0 serio $0
DATA_SOURCE 1 drv $1
HARD_MAX 1 drv->driver 9006146882664955904
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &psmouse_mutex

drivers/input/serio/serio.c serio_open() -> serio_set_drv()

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