Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/tty/serial/8250/8250_core.c univ8250_console_match() -> serial8250_console_setup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->cons | 5109488043324854272 |
| PARAM_VALUE | 0 | port->cons->cflag | s32min-0,16-s32max |
| PARAM_VALUE | 0 | port->cons->data | 1624000111546744832 |
| PARAM_VALUE | 0 | port->cons->device | 6569512524207788032 |
| PARAM_VALUE | 0 | port->cons->device_lock | 0,5001291398587658240 |
| PARAM_VALUE | 0 | port->cons->device_unlock | 0,1985508210408071168 |
| PARAM_VALUE | 0 | port->cons->dropped | 0 |
| PARAM_VALUE | 0 | port->cons->exit | 7833501435485716480 |
| PARAM_VALUE | 0 | port->cons->index | 0 |
| PARAM_VALUE | 0 | port->cons->irq_work.node.a_flags.counter | 0-s32max |
| PARAM_VALUE | 0 | port->cons->irq_work.node.u_flags | 0-s32max |
| PARAM_VALUE | 0 | port->cons->ispeed | 0-s32max |
| PARAM_VALUE | 0 | port->cons->match | 4421782094852718592 |
| PARAM_VALUE | 0 | port->cons->nbcon_device_ctxt.backlog | 0 |
| PARAM_VALUE | 0 | port->cons->nbcon_device_ctxt.console | 0 |
| PARAM_VALUE | 0 | port->cons->nbcon_device_ctxt.pbufs | 0 |
| PARAM_VALUE | 0 | port->cons->nbcon_device_ctxt.prio | 0 |
| PARAM_VALUE | 0 | port->cons->nbcon_device_ctxt.seq | 0 |
| PARAM_VALUE | 0 | port->cons->nbcon_prev_seq.counter | (-1)-0 |
| PARAM_VALUE | 0 | port->cons->nbcon_state.counter | 0 |
| PARAM_VALUE | 0 | port->cons->node.pprev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->cons->pbufs | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->cons->rcuwait.task | 0 |
| PARAM_VALUE | 0 | port->cons->read | 0 |
| PARAM_VALUE | 0 | port->cons->setup | 3517582552066240512 |
| PARAM_VALUE | 0 | port->cons->unblank | 0 |
| PARAM_VALUE | 0 | port->cons->write | 0,1136652718727315456 |
| PARAM_VALUE | 0 | port->cons->write_atomic | 0,5276083820952485888 |
| PARAM_VALUE | 0 | port->cons->write_thread | 0,994188457251672064 |
| PARAM_VALUE | 0 | port->iotype | 0,2-3,6-7 |
| PARAM_VALUE | 0 | port->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | *port->cons->device | 6569512524207788032 |
| PARAM_VALUE | 1 | options | 0,4097-18446744073709547521 |
| PARAM_VALUE | 2 | probe | 1 |
| BUF_SIZE | 0 | port | 616 |
| CAPPED_DATA | 0 | port->iotype | 1 |
| DATA_SOURCE | 1 | options | $3 [m] |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | port->cons->cflag | s32min-0,16-s32max |
| HOST_DATA | 0 | port->cons->dropped | 0 |
| HOST_DATA | 0 | port->cons->irq_work.node.a_flags.counter | 0-s32max |
| HOST_DATA | 0 | port->cons->irq_work.node.dst | 0-u16max |
| HOST_DATA | 0 | port->cons->irq_work.node.src | 0-u16max |
| HOST_DATA | 0 | port->cons->irq_work.node.u_flags | 0-s32max |
| HOST_DATA | 0 | port->cons->ispeed | 0-s32max |
| HOST_DATA | 0 | port->cons->nbcon_device_ctxt.allow_unsafe_takeover | 0 |
| HOST_DATA | 0 | port->cons->nbcon_device_ctxt.backlog | 0 |
| HOST_DATA | 0 | port->cons->nbcon_device_ctxt.prio | 0 |
| HOST_DATA | 0 | port->cons->nbcon_device_ctxt.seq | 0 |
| HOST_DATA | 0 | port->cons->nbcon_device_ctxt.spinwait_max_us | 0 |
| HOST_DATA | 0 | port->cons->nbcon_prev_seq.counter | (-1)-0 |
| HOST_DATA | 0 | port->cons->nbcon_seq.counter | s64min-s64max |
| HOST_DATA | 0 | port->cons->nbcon_state.counter | 0 |
| HOST_DATA | 0 | port->cons->ospeed | 0-u32max |
| HOST_DATA | 0 | port->cons->seq | 0-u64max |
| LOCK2 | global &console_mutex | ||
| HALF_LOCKED2 | &_T->lock->lock | ||
| HALF_LOCKED2 | &buffer->mutex | ||
| HALF_LOCKED2 | &frag->frag_sem | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | _T->flags | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &dynamic_netconsole_mutex | ||
| HALF_LOCKED2 | global &goldfish_tty_lock | ||
| HALF_LOCKED2 | global &psinfo_lock | ||
| HALF_LOCKED2 | irq |
drivers/tty/serial/8250/8250_core.c univ8250_console_setup() -> serial8250_console_setup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->cons | 5109488043324854272 |
| PARAM_VALUE | 0 | port->cons->cflag | s32min-0,16-s32max |
| PARAM_VALUE | 0 | port->cons->data | 1624000111546744832 |
| PARAM_VALUE | 0 | port->cons->device | 6569512524207788032 |
| PARAM_VALUE | 0 | port->cons->device_lock | 0,5001291398587658240 |
| PARAM_VALUE | 0 | port->cons->device_unlock | 0,1985508210408071168 |
| PARAM_VALUE | 0 | port->cons->dropped | 0 |
| PARAM_VALUE | 0 | port->cons->exit | 7833501435485716480 |
| PARAM_VALUE | 0 | port->cons->index | 0-3 |
| PARAM_VALUE | 0 | port->cons->irq_work.node.a_flags.counter | 0-s32max |
| PARAM_VALUE | 0 | port->cons->irq_work.node.u_flags | 0-s32max |
| PARAM_VALUE | 0 | port->cons->ispeed | 0-s32max |
| PARAM_VALUE | 0 | port->cons->match | 4421782094852718592 |
| PARAM_VALUE | 0 | port->cons->nbcon_device_ctxt.backlog | 0 |
| PARAM_VALUE | 0 | port->cons->nbcon_device_ctxt.console | 0 |
| PARAM_VALUE | 0 | port->cons->nbcon_device_ctxt.pbufs | 0 |
| PARAM_VALUE | 0 | port->cons->nbcon_device_ctxt.prio | 0 |
| PARAM_VALUE | 0 | port->cons->nbcon_device_ctxt.seq | 0 |
| PARAM_VALUE | 0 | port->cons->nbcon_prev_seq.counter | (-1)-0 |
| PARAM_VALUE | 0 | port->cons->nbcon_state.counter | 0 |
| PARAM_VALUE | 0 | port->cons->node.pprev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->cons->pbufs | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->cons->rcuwait.task | 0 |
| PARAM_VALUE | 0 | port->cons->read | 0 |
| PARAM_VALUE | 0 | port->cons->setup | 3517582552066240512 |
| PARAM_VALUE | 0 | port->cons->unblank | 0 |
| PARAM_VALUE | 0 | port->cons->write | 0,1136652718727315456 |
| PARAM_VALUE | 0 | port->cons->write_atomic | 0,5276083820952485888 |
| PARAM_VALUE | 0 | port->cons->write_thread | 0,994188457251672064 |
| PARAM_VALUE | 0 | port->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | *port->cons->device | 6569512524207788032 |
| PARAM_VALUE | 2 | probe | 0 |
| BUF_SIZE | 0 | port | 616 |
| BUF_SIZE | 1 | options | (-1),8 |
| BUF_SIZE | 1 | options | (-1),8 |
| DATA_SOURCE | 1 | options | $1 |
| STR_LEN | 0 | port | (-1),7 |
| STR_LEN | 0 | port->cons | (-1) |
| STR_LEN | 1 | options | (-1),7 |
| NOSPEC | 0 | port->cons->index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | port->cons->cflag | s32min-0,16-s32max |
| HOST_DATA | 0 | port->cons->dropped | 0 |
| HOST_DATA | 0 | port->cons->irq_work.node.a_flags.counter | 0-s32max |
| HOST_DATA | 0 | port->cons->irq_work.node.dst | 0-u16max |
| HOST_DATA | 0 | port->cons->irq_work.node.src | 0-u16max |
| HOST_DATA | 0 | port->cons->irq_work.node.u_flags | 0-s32max |
| HOST_DATA | 0 | port->cons->ispeed | 0-s32max |
| HOST_DATA | 0 | port->cons->nbcon_device_ctxt.allow_unsafe_takeover | 0 |
| HOST_DATA | 0 | port->cons->nbcon_device_ctxt.backlog | 0 |
| HOST_DATA | 0 | port->cons->nbcon_device_ctxt.prio | 0 |
| HOST_DATA | 0 | port->cons->nbcon_device_ctxt.seq | 0 |
| HOST_DATA | 0 | port->cons->nbcon_device_ctxt.spinwait_max_us | 0 |
| HOST_DATA | 0 | port->cons->nbcon_prev_seq.counter | (-1)-0 |
| HOST_DATA | 0 | port->cons->nbcon_seq.counter | s64min-s64max |
| HOST_DATA | 0 | port->cons->nbcon_state.counter | 0 |
| HOST_DATA | 0 | port->cons->ospeed | 0-u32max |
| HOST_DATA | 0 | port->cons->seq | 0-u64max |
| USER_DATA | 0 | port->cons->index | 0-3[c] |
| LOCK2 | global &console_mutex | ||
| HALF_LOCKED2 | &_T->lock->lock | ||
| HALF_LOCKED2 | &buffer->mutex | ||
| HALF_LOCKED2 | &frag->frag_sem | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | _T->flags | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &console_sem | ||
| HALF_LOCKED2 | global &dynamic_netconsole_mutex | ||
| HALF_LOCKED2 | global &goldfish_tty_lock | ||
| HALF_LOCKED2 | global &psinfo_lock | ||
| HALF_LOCKED2 | irq |