Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/input/keyboard/atkbd.c serio_write() -> (struct serio)->write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | io | 4096-ptr_max |
| PARAM_VALUE | 0 | io->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | io->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | io->dev.driver | 0,4096-ptr_max |
| PARAM_VALUE | 0 | io->write | 1-u64max |
| PARAM_VALUE | 1 | val | 254 |
| DATA_SOURCE | 0 | io | $0 |
| DATA_SOURCE | 1 | val | $1 |
| CONTAINER | 0 | -280+0 | $(-1) |
drivers/input/serio/libps2.c serio_write() -> (struct serio)->write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | io | 4096-ptr_max |
| PARAM_VALUE | 0 | io->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | io->write | 1-u64max |
| CAPPED_DATA | 0 | io | 1 |
| DATA_SOURCE | 0 | io | $0 |
| DATA_SOURCE | 1 | val | $1 |
| CONTAINER | 0 | -280+0 | $(-1) |
| NOSPEC | 1 | val | |
| NOSPEC | 1 | val | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | val | 0-255 |
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | m |
drivers/i2c/busses/i2c-taos-evm.c serio_write() -> (struct serio)->write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | io | 4096-ptr_max |
| PARAM_VALUE | 0 | io->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | io->write | 1-u64max |
| PARAM_VALUE | 1 | val | 1-255 |
| BUF_SIZE | 0 | io | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | io | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | io->dev.driver | (-1),152 |
| CAPPED_DATA | 0 | io | 1 |
| DATA_SOURCE | 0 | io | $0 |
| DATA_SOURCE | 1 | val | $1 |
| FUZZY_MAX | 1 | val | 62 |
| CONTAINER | 0 | -280+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | _T->lock |
drivers/input/touchscreen/elo.c serio_write() -> (struct serio)->write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | io | 4096-ptr_max |
| PARAM_VALUE | 0 | io->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | io->write | 1-u64max |
| CAPPED_DATA | 0 | io | 1 |
| DATA_SOURCE | 0 | io | $0 |
| DATA_SOURCE | 1 | val | $1 |
| CONTAINER | 0 | -280+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &of->mutex |
drivers/input/serio/ps2mult.c serio_write() -> (struct serio)->write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | io | 4096-ptr_max |
| PARAM_VALUE | 0 | io->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | io->write | 1-u64max |
| BUF_SIZE | 0 | io->dev.driver | (-1),152 |
| DATA_SOURCE | 0 | io | $0 |
| DATA_SOURCE | 1 | val | $1 |
| CONTAINER | 0 | -280+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | val | 0-255 |
| HALF_LOCKED2 | &psm->lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | irq |
drivers/media/cec/usb/rainshadow/rainshadow-cec.c serio_write() -> (struct serio)->write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | io | 4096-ptr_max |
| PARAM_VALUE | 0 | io->write | 1-u64max |
| DATA_SOURCE | 0 | io | $0 |
| DATA_SOURCE | 1 | val | $1 |
| CONTAINER | 0 | -280+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &rain->write_lock | ||
| HALF_LOCKED2 | &adap->lock | ||
| TYPE_LOCK | (struct rain)->write_lock |
drivers/media/cec/usb/extron-da-hd-4k-plus/extron-da-hd-4k-plus.c serio_write() -> (struct serio)->write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | io | 4096-ptr_max |
| PARAM_VALUE | 0 | io->write | 1-u64max |
| DATA_SOURCE | 0 | io | $0 |
| DATA_SOURCE | 1 | val | $1 |
| CONTAINER | 0 | -280+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &extron->serio_lock | ||
| HALF_LOCKED2 | &extron->edid_lock | ||
| TYPE_LOCK | (struct extron)->serio_lock |
drivers/input/touchscreen/wacom_w8001.c serio_write() -> (struct serio)->write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | io | 4096-ptr_max |
| PARAM_VALUE | 0 | io->write | 1-u64max |
| PARAM_VALUE | 1 | val | 37,42,48-49 |
| DATA_SOURCE | 0 | io | $0 |
| DATA_SOURCE | 1 | val | $1 |
| CONTAINER | 0 | -280+0 | $(-1) |
| HARD_MAX | 1 | val | 49 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | _T->lock |
drivers/input/joystick/iforce/iforce-serio.c serio_write() -> (struct serio)->write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | io | 4096-ptr_max |
| PARAM_VALUE | 0 | io->write | 1-u64max |
| DATA_SOURCE | 0 | io | $0 |
| DATA_SOURCE | 1 | val | $1 |
| CONTAINER | 0 | -280+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &iforce->xmit_lock | ||
| LOCK2 | irq | ||
| HALF_LOCKED2 | &serport->lock | ||
| TYPE_LOCK | (struct iforce)->xmit_lock |
drivers/input/serio/serio_raw.c serio_write() -> (struct serio)->write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | io | 4096-ptr_max |
| PARAM_VALUE | 0 | io->write | 1-u64max |
| DATA_SOURCE | 0 | io | $0 |
| DATA_SOURCE | 1 | val | $1 |
| CONTAINER | 0 | -280+0 | $(-1) |
| USER_DATA | 1 | val | 0-255 |
drivers/media/cec/usb/pulse8/pulse8-cec.c serio_write() -> (struct serio)->write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | io | 4096-ptr_max |
| PARAM_VALUE | 0 | io->write | 1-u64max |
| CAPPED_DATA | 0 | io | 1 |
| DATA_SOURCE | 0 | io | $0 |
| DATA_SOURCE | 1 | val | $1 |
| CONTAINER | 0 | -280+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &adap->devnode.lock | ||
| HALF_LOCKED2 | &adap->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &pulse8->lock | ||
| HALF_LOCKED2 | _T->lock |
drivers/input/keyboard/lkkbd.c serio_write() -> (struct serio)->write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | io | 4096-ptr_max |
| PARAM_VALUE | 0 | io->write | 1-u64max |
| PARAM_VALUE | 1 | val | 17,19,27,35,128-246,253 |
| DATA_SOURCE | 0 | io | $0 |
| DATA_SOURCE | 1 | val | $1 |
| CONTAINER | 0 | -280+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | _T->lock |
drivers/input/tablet/wacom_serial4.c serio_write() -> (struct serio)->write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | io | 4096-ptr_max |
| PARAM_VALUE | 0 | io->dev.driver_data | 4096-ptr_max |
| PARAM_VALUE | 0 | io->dev.iommu_group->owner_cnt | 0-4294967295 |
| 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 | 8985014033048055808 |
| PARAM_VALUE | 0 | io->drv->cleanup | 0 |
| PARAM_VALUE | 0 | io->drv->connect | 1190004682909093888 |
| PARAM_VALUE | 0 | io->drv->description | 4544512560540884992 |
| PARAM_VALUE | 0 | io->drv->disconnect | 4339148599692435456 |
| PARAM_VALUE | 0 | io->drv->fast_reconnect | 0 |
| PARAM_VALUE | 0 | io->drv->id_table | 4746296987319390208 |
| PARAM_VALUE | 0 | io->drv->interrupt | 509198828921274368 |
| PARAM_VALUE | 0 | io->drv->reconnect | 0 |
| PARAM_VALUE | 0 | io->drv->write_wakeup | 0 |
| PARAM_VALUE | 0 | io->port_data->client.dev->client->ops | 0,3277370513580826624,5627403723135193088 |
| PARAM_VALUE | 0 | io->port_data->clk->core->dev->power.deferred_resume | 0-1 |
| PARAM_VALUE | 0 | io->port_data->clk->core->dev->power.idle_notification | 0-1 |
| PARAM_VALUE | 0 | io->port_data->clk->core->dev->power.request | 0-4294967295 |
| PARAM_VALUE | 0 | io->port_data->clk->core->dev->power.request_pending | 0-1 |
| PARAM_VALUE | 0 | io->port_data->clk->core->dev->power.runtime_error | s32min-s32max |
| PARAM_VALUE | 0 | io->port_data->clk->core->dev->power.runtime_status | s32min-s32max |
| PARAM_VALUE | 0 | io->port_data->clk->core->dev->power.timer_autosuspends | 0-1 |
| PARAM_VALUE | 0 | io->port_data->clk->core->dev->power.usage_count.counter | s32min-s32max |
| PARAM_VALUE | 0 | io->port_data->clk->core->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | io->port_data->fn->rmi_dev->dev.driver_data->irq_mutex->wait_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | io->port_data->fn->rmi_dev->dev.driver_data->irq_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | io->port_data->open_count | s32min-s32max |
| PARAM_VALUE | 0 | io->port_data->t_irq_last | 0 |
| PARAM_VALUE | 0 | io->port_data->tx.t_xfer_end | 0 |
| PARAM_VALUE | 0 | io->write | 1-u64max |
| PARAM_VALUE | 1 | val | 1-255 |
| BUF_SIZE | 0 | io->dev.driver | (-1),152 |
| CAPPED_DATA | 0 | io | 1 |
| DATA_SOURCE | 0 | io | $0 |
| DATA_SOURCE | 1 | val | $1 |
| STR_LEN | 0 | io | 7,14,17-18,20,34 |
| STR_LEN | 0 | io | 7,14,17-18,20,34 |
| CONTAINER | 0 | -280+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &of->mutex |
drivers/input/mouse/vsxxxaa.c serio_write() -> (struct serio)->write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | io | 4096-ptr_max |
| PARAM_VALUE | 0 | io->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | io->write | 1-u64max |
| PARAM_VALUE | 1 | val | 76,82-84 |
| BUF_SIZE | 0 | io->dev.driver | (-1),152 |
| DATA_SOURCE | 0 | io | $0 |
| DATA_SOURCE | 1 | val | $1 |
| CONTAINER | 0 | -280+0 | $(-1) |
| HARD_MAX | 1 | val | 84 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &serio->lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | irq |
drivers/input/keyboard/sunkbd.c serio_write() -> (struct serio)->write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | io | 4096-ptr_max |
| PARAM_VALUE | 0 | io->write | 1-u64max |
| DATA_SOURCE | 0 | io | $0 |
| DATA_SOURCE | 1 | val | $1 |
| CONTAINER | 0 | -280+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | _T->lock |