Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/accessibility/braille/braille_console.c braille_write() -> (struct console)->write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | co | 4096-ptr_max |
| PARAM_VALUE | 1 | s | 4096-ptr_max |
| BUF_SIZE | 1 | s | 85 |
| CONTAINER | 0 | -16+0 | $(-1) |
| NOCHECK_CALL |
kernel/printk/printk.c console_emit_next_record() -> (struct console)->write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | co | 4096-ptr_max |
| PARAM_VALUE | 0 | co->write | 1-u64max |
| PARAM_VALUE | 1 | s | 4096-ptr_max |
| BUF_SIZE | 1 | s | 2048 |
| BUF_SIZE | 1 | s | 2048 |
| DATA_SOURCE | 0 | co | $0 |
| CONTAINER | 0 | -16+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| HALF_LOCKED2 | global &console_sem |
kernel/printk/printk.c early_printk() -> (struct console)->write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | co | 835688933731860480,873495751481122816,2379198977559855104,3656934893564989440,3888182803055091712 |
| PARAM_VALUE | 1 | s | 3716503809173676032 |
| BUF_SIZE | 1 | s | 512 |
| CAPPED_DATA | 2 | count | 1 |
| DATA_SOURCE | 2 | count | r vscnprintf |
| CONTAINER | 0 | -16+0 | $(-1) |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
kernel/debug/kdb/kdb_io.c kdb_msg_write() -> (struct console)->write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | co | 4096-ptr_max |
| PARAM_VALUE | 0 | co->write | 1-u64max |
| PARAM_VALUE | 1 | s | 1-u64max |
| PARAM_VALUE | 2 | count | 1-1010101,4294967292-u32max |
| BUF_SIZE | 1 | s | (-1),1,7,256 |
| BUF_SIZE | 1 | s | (-1),1,7,256 |
| DATA_SOURCE | 1 | s | $0 |
| DATA_SOURCE | 2 | count | $1 |
| STR_LEN | 0 | co | (-1),6 |
| STR_LEN | 1 | s | (-1),6 |
| CONTAINER | 0 | -16+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags |
drivers/tty/serial/kgdboc.c kgdboc_earlycon_put_char() -> (struct console)->write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | co | 4096-ptr_max |
| PARAM_VALUE | 2 | count | 1 |
| CONTAINER | 0 | *(-16+0) | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |