Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/tty/vt/vc_screen.c vcs_poll_data_get() -> vcs_poll_data_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | poll | 4096-ptr_max |
| PARAM_VALUE | 0 | poll->cons_num | 0-63 |
| PARAM_VALUE | 0 | poll->event | 4 |
| PARAM_VALUE | 0 | poll->notifier.next | 0,4096-ptr_max |
| PARAM_VALUE | 0 | poll->notifier.notifier_call | 6086117904733827072 |
| PARAM_VALUE | 0 | poll->waitq.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | poll->waitq.head.prev | 4096-ptr_max |
| BUF_SIZE | 0 | poll | 128 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/tty/vt/vc_screen.c vcs_release() -> vcs_poll_data_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | poll | 1-u64max |
| BUF_SIZE | 0 | poll | (-1),26 |
| BUF_SIZE | 0 | poll | (-1),26 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |