Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/tty/tty_io.c show_cons_active() -> (struct console)->device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 1 | index | 1758113724840947712 |
| PARAM_VALUE | 1 | *index | s16min-s16max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &of->mutex | ||
| LOCK2 | global &console_mutex | ||
| LOCK2 | global &console_sem | ||
| HALF_LOCKED2 | &of->prealloc_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct kernfs_open_file)->mutex |
kernel/printk/printk.c console_device() -> (struct console)->device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->device | 1-u64max |
| PARAM_VALUE | 1 | index | 657658570838110208,8408144230330417152 |
| PARAM_VALUE | 1 | *index | (-32769)-u16max |
| DATA_SOURCE | 1 | index | $0 |
| CONTAINER | 0 | -32+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &console_sem | ||
| LOCK2 | global &tty_mutex |
drivers/tty/serial/kgdboc.c configure_kgdboc() -> (struct console)->device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->device | 1-u64max |
| PARAM_VALUE | 1 | index | 2712647459133001728 |
| CONTAINER | 0 | -32+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &console_sem | ||
| HALF_LOCKED2 | global &config_mutex |
fs/proc/consoles.c show_console_dev() -> (struct console)->device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->device | 1-u64max |
| PARAM_VALUE | 1 | index | 8702958564135825408 |
| DATA_SOURCE | 0 | c | $1 |
| CONTAINER | 0 | -32+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &m->lock | ||
| LOCK2 | global &console_sem | ||
| TYPE_LOCK | (struct seq_file)->lock |