Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/input/mouse/psmouse-base.c psmouse_handle_byte() -> __psmouse_set_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | psmouse | 4096-ptr_max |
| PARAM_VALUE | 0 | psmouse->out_of_sync_cnt | 0-u32max |
| PARAM_VALUE | 0 | psmouse->state | 4 |
| PARAM_VALUE | 1 | new_state | 0 |
| CAPPED_DATA | 0 | psmouse->resetafter | 1 |
| DATA_SOURCE | 0 | psmouse | $0 |
| PARAM_COMPARE | 0 | psmouse->out_of_sync_cnt | == $0->resetafter |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &serio->lock | ||
| LOCK2 | irq | ||
| TYPE_LOCK | (struct serio)->lock |
drivers/input/mouse/psmouse-base.c psmouse_receive_byte() -> __psmouse_set_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | psmouse | 4096-ptr_max |
| PARAM_VALUE | 0 | psmouse->pktcnt | 1-255 |
| PARAM_VALUE | 0 | psmouse->state | 4 |
| PARAM_VALUE | 1 | new_state | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &serio->lock | ||
| LOCK2 | irq | ||
| TYPE_LOCK | (struct serio)->lock |
drivers/input/mouse/psmouse-base.c psmouse_receive_byte() -> __psmouse_set_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | psmouse | 4096-ptr_max |
| PARAM_VALUE | 0 | psmouse->pktcnt | 0,2 |
| PARAM_VALUE | 0 | psmouse->state | 3-u32max |
| PARAM_VALUE | 1 | new_state | 0 |
| FUZZY_MAX | 0 | psmouse->state | 4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &serio->lock | ||
| LOCK2 | irq | ||
| TYPE_LOCK | (struct serio)->lock |
drivers/input/mouse/psmouse-base.c psmouse_receive_byte() -> __psmouse_set_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | psmouse | 4096-ptr_max |
| PARAM_VALUE | 0 | psmouse->pktcnt | 1 |
| PARAM_VALUE | 0 | psmouse->state | 4 |
| PARAM_VALUE | 1 | new_state | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &serio->lock | ||
| LOCK2 | irq | ||
| TYPE_LOCK | (struct serio)->lock |
drivers/input/mouse/psmouse-base.c psmouse_set_state() -> __psmouse_set_state()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | psmouse | 4096-ptr_max |
| PARAM_VALUE | 1 | new_state | 0-4 |
| BUF_SIZE | 0 | psmouse | (-1),664 |
| BUF_SIZE | 0 | psmouse | (-1),664 |
| BUF_SIZE | 0 | psmouse->dev | (-1),2480 |
| CAPPED_DATA | 0 | psmouse | 1 |
| DATA_SOURCE | 0 | psmouse | $0 |
| DATA_SOURCE | 1 | new_state | $1 |
| HARD_MAX | 1 | new_state | 4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | psmouse->dev->max_vals | |
| LOCK2 | irq | ||
| LOCK2 | 0 | &psmouse->ps2dev.serio->lock | |
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &psmouse_mutex | ||
| TYPE_LOCK | (struct serio)->lock |