Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 8 files:
- drivers/tty/serial/8250/8250_bcm7271.c, line 784
- drivers/tty/serial/8250/8250_dwlib.c, line 53
- drivers/tty/serial/8250/8250_fintek.c, line 353
- drivers/tty/serial/8250/8250_mid.c, line 240
- drivers/tty/serial/8250/8250_mtk.c, line 344
- drivers/tty/serial/8250/8250_mxpcie.c, line 224
- drivers/tty/serial/8250/8250_pci1xxxx.c, line 691
- drivers/tty/serial/8250/8250_port.c
Smatch caller information:
drivers/tty/serial/8250/8250_fintek.c fintek_8250_set_termios() -> serial8250_do_set_termios()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->dev->cma_area->available_count | 0-s64max |
| PARAM_VALUE | 0 | port->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | port->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | port->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->poll_get_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->poll_init | 0,542853678643802112,853403963737563136,1231480850374565888,1236650878105227264,3206955665515188224,5661098704952168448,7022633692052856832 |
| PARAM_VALUE | 0 | port->ops->poll_put_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->start_rx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->set_termios | 1-u64max |
| PARAM_VALUE | 1 | termios | 4096-ptr_max |
| PARAM_VALUE | 2 | old | 0,1767035511140073472,3137504346029961216,7525340350016356352 |
| BUF_SIZE | 0 | port | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | port | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | port->uartclk | (-1),9 |
| BUF_SIZE | 1 | termios | (-1),44 |
| BUF_SIZE | 1 | termios | (-1),44 |
| DATA_SOURCE | 0 | port | $0 |
| DATA_SOURCE | 1 | termios | $1 |
| DATA_SOURCE | 2 | old | $2 |
| STR_LEN | 0 | port | (-1),7 |
| STR_LEN | 0 | port | (-1),7 |
| STR_LEN | 0 | port->cons | (-1) |
| NOSPEC | 0 | port->cons->index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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 |
| HOST_DATA | 0 | port->cons->irq_work.node.dst | 0 |
| HOST_DATA | 0 | port->cons->irq_work.node.src | 0 |
| HOST_DATA | 0 | port->cons->irq_work.node.u_flags | 0 |
| HOST_DATA | 0 | port->cons->ispeed | 0-u32max |
| 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] |
| USER_DATA | 1 | termios->c_cflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_iflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_ispeed | 0-u32max |
| USER_DATA | 1 | termios->c_lflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_line | 0-255 |
| USER_DATA | 1 | termios->c_oflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_ospeed | 0-u32max |
| HALF_LOCKED2 | &port->mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &console_mutex |
drivers/tty/serial/8250/8250_dwlib.c dw8250_do_set_termios() -> serial8250_do_set_termios()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->dev->cma_area->available_count | 0-s64max |
| PARAM_VALUE | 0 | port->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | port->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | port->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port->ops->poll_get_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->poll_init | 0,542853678643802112,853403963737563136,1231480850374565888,1236650878105227264,3206955665515188224,5661098704952168448,7022633692052856832 |
| PARAM_VALUE | 0 | port->ops->poll_put_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->start_rx | 0,4096-ptr_max |
| PARAM_VALUE | 1 | termios | 4096-ptr_max |
| PARAM_VALUE | 1 | termios->c_cflag | 0-2147483646,2147483648-u32max |
| PARAM_VALUE | 2 | old | 0,1767035511140073472,3137504346029961216,7525340350016356352 |
| BUF_SIZE | 0 | port | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | port | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | port->uartclk | (-1),9 |
| BUF_SIZE | 1 | termios | (-1),44 |
| BUF_SIZE | 1 | termios | (-1),44 |
| DATA_SOURCE | 0 | port | $0 |
| DATA_SOURCE | 1 | termios | $1 |
| DATA_SOURCE | 2 | old | $2 |
| STR_LEN | 0 | port | (-1),7 |
| STR_LEN | 0 | port | (-1),7 |
| STR_LEN | 0 | port->cons | (-1) |
| NOSPEC | 0 | port->cons->index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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 |
| HOST_DATA | 0 | port->cons->irq_work.node.dst | 0 |
| HOST_DATA | 0 | port->cons->irq_work.node.src | 0 |
| HOST_DATA | 0 | port->cons->irq_work.node.u_flags | 0 |
| HOST_DATA | 0 | port->cons->ispeed | 0-u32max |
| 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] |
| USER_DATA | 1 | termios->c_cflag | 0-2147483646,2147483648-u32max[c] |
| USER_DATA | 1 | termios->c_iflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_ispeed | 0-u32max |
| USER_DATA | 1 | termios->c_lflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_line | 0-255 |
| USER_DATA | 1 | termios->c_oflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_ospeed | 0-u32max |
| USER_PTR | 1 | termios->c_cc | |
| HALF_LOCKED2 | &port->mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &console_mutex |
drivers/tty/serial/8250/8250_bcm7271.c brcmstb_set_termios() -> serial8250_do_set_termios()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 1346846652993830912 |
| PARAM_VALUE | 0 | port->attr_group | 0 |
| PARAM_VALUE | 0 | port->break_ctl | 0 |
| PARAM_VALUE | 0 | port->cons | 0 |
| PARAM_VALUE | 0 | port->console_reinit | 0 |
| PARAM_VALUE | 0 | port->ctrl_id | 0 |
| PARAM_VALUE | 0 | port->custom_divisor | 0 |
| PARAM_VALUE | 0 | port->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->dev->cma_area->available_count | 0-s64max |
| PARAM_VALUE | 0 | port->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | port->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | port->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port->flags | 0,64-u64max |
| PARAM_VALUE | 0 | port->get_divisor | 0 |
| PARAM_VALUE | 0 | port->get_mctrl | 0 |
| PARAM_VALUE | 0 | port->get_rxtrig | 0 |
| PARAM_VALUE | 0 | port->handle_break | 0 |
| PARAM_VALUE | 0 | port->has_sysrq | 0 |
| PARAM_VALUE | 0 | port->hub6 | 0 |
| PARAM_VALUE | 0 | port->hw_stopped | 0 |
| PARAM_VALUE | 0 | port->icount | 0 |
| PARAM_VALUE | 0 | port->ignore_status_mask | 0-1,12-13,16-19,28-31 |
| PARAM_VALUE | 0 | port->iobase | 0 |
| PARAM_VALUE | 0 | port->iotype | (-1)-0,2-3,6-7 |
| PARAM_VALUE | 0 | port->irq | 0-s32max |
| PARAM_VALUE | 0 | port->irqflags | 0 |
| PARAM_VALUE | 0 | port->iso7816 | 0 |
| PARAM_VALUE | 0 | port->iso7816_config | 0 |
| PARAM_VALUE | 0 | port->lock | s32min-s32max |
| PARAM_VALUE | 0 | port->membase | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->minor | 0 |
| PARAM_VALUE | 0 | port->name | 0 |
| PARAM_VALUE | 0 | port->ops | 0 |
| PARAM_VALUE | 0 | port->ops->poll_get_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->poll_init | 0,542853678643802112,853403963737563136,1231480850374565888,1236650878105227264,3206955665515188224,5661098704952168448,7022633692052856832 |
| PARAM_VALUE | 0 | port->ops->poll_put_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->start_rx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->pm | 0 |
| PARAM_VALUE | 0 | port->port_dev | 0 |
| PARAM_VALUE | 0 | port->port_id | 0 |
| PARAM_VALUE | 0 | port->private_data | 4096-ptr_max |
| PARAM_VALUE | 0 | port->quirks | 0 |
| PARAM_VALUE | 0 | port->read_status_mask | 0,3,15,19,31 |
| PARAM_VALUE | 0 | port->rs485 | 0 |
| PARAM_VALUE | 0 | port->rs485_config | 0 |
| PARAM_VALUE | 0 | port->rs485_rx_during_tx_gpio | 0 |
| PARAM_VALUE | 0 | port->rs485_supported | 0 |
| PARAM_VALUE | 0 | port->rs485_term_gpio | 0 |
| PARAM_VALUE | 0 | port->set_divisor | 0 |
| PARAM_VALUE | 0 | port->set_ldisc | 0 |
| PARAM_VALUE | 0 | port->set_mctrl | 0 |
| PARAM_VALUE | 0 | port->set_rxtrig | 0 |
| PARAM_VALUE | 0 | port->set_termios | 0,4101205415987269632 |
| PARAM_VALUE | 0 | port->shutdown | 0,8718491819880652800 |
| PARAM_VALUE | 0 | port->startup | 0,3434437052138033152 |
| PARAM_VALUE | 0 | port->state | 0 |
| PARAM_VALUE | 0 | port->status | 0 |
| PARAM_VALUE | 0 | port->suspended | 0 |
| PARAM_VALUE | 0 | port->sysrq | 0 |
| PARAM_VALUE | 0 | port->sysrq_ch | 0 |
| PARAM_VALUE | 0 | port->sysrq_seq | 0 |
| PARAM_VALUE | 0 | port->throttle | 0,1910511969926316032 |
| PARAM_VALUE | 0 | port->tty_groups | 0 |
| PARAM_VALUE | 0 | port->type | 0,76 |
| PARAM_VALUE | 0 | port->unthrottle | 0,2750326186656206848 |
| PARAM_VALUE | 0 | port->x_char | 0 |
| PARAM_VALUE | 1 | termios | 4096-ptr_max |
| PARAM_VALUE | 2 | old | 0,1767035511140073472,3137504346029961216,7525340350016356352 |
| BUF_SIZE | 0 | port | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | port | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | port->uartclk | (-1),9 |
| BUF_SIZE | 1 | termios | (-1),44 |
| BUF_SIZE | 1 | termios | (-1),44 |
| DATA_SOURCE | 0 | port | $0 |
| DATA_SOURCE | 1 | termios | $1 |
| DATA_SOURCE | 2 | old | $2 |
| STR_LEN | 0 | port | (-1),7 |
| STR_LEN | 0 | port | (-1),7 |
| STR_LEN | 0 | port->cons | (-1) |
| NOSPEC | 0 | port->cons->index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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 |
| HOST_DATA | 0 | port->cons->irq_work.node.dst | 0 |
| HOST_DATA | 0 | port->cons->irq_work.node.src | 0 |
| HOST_DATA | 0 | port->cons->irq_work.node.u_flags | 0 |
| HOST_DATA | 0 | port->cons->ispeed | 0-u32max |
| 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] |
| USER_DATA | 1 | termios->c_cflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_iflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_ispeed | 0-u32max |
| USER_DATA | 1 | termios->c_lflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_line | 0-255 |
| USER_DATA | 1 | termios->c_oflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_ospeed | 0-u32max |
| HALF_LOCKED2 | &port->mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &console_mutex |
drivers/tty/serial/8250/8250_mxpcie.c mxpcie8250_set_termios() -> serial8250_do_set_termios()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 6253828957567959040 |
| PARAM_VALUE | 0 | port->attr_group | 0 |
| PARAM_VALUE | 0 | port->break_ctl | 0,7853488113029939200 |
| PARAM_VALUE | 0 | port->cons | 0 |
| PARAM_VALUE | 0 | port->console_reinit | 0 |
| PARAM_VALUE | 0 | port->ctrl_id | 0 |
| PARAM_VALUE | 0 | port->custom_divisor | 0 |
| PARAM_VALUE | 0 | port->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->dev->cma_area->available_count | 0-s64max |
| PARAM_VALUE | 0 | port->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | port->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | port->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port->flags | 0,419430464 |
| PARAM_VALUE | 0 | port->get_divisor | 0 |
| PARAM_VALUE | 0 | port->get_mctrl | 0 |
| PARAM_VALUE | 0 | port->get_rxtrig | 0,2453836261628796928 |
| PARAM_VALUE | 0 | port->handle_break | 0 |
| PARAM_VALUE | 0 | port->has_sysrq | 0 |
| PARAM_VALUE | 0 | port->hub6 | 0 |
| PARAM_VALUE | 0 | port->hw_stopped | 0 |
| PARAM_VALUE | 0 | port->icount | 0 |
| PARAM_VALUE | 0 | port->ignore_status_mask | 0-1,12-13,16-19,28-31 |
| PARAM_VALUE | 0 | port->iobase | 0 |
| PARAM_VALUE | 0 | port->iotype | 0,2 |
| PARAM_VALUE | 0 | port->irqflags | 0 |
| PARAM_VALUE | 0 | port->iso7816 | 0 |
| PARAM_VALUE | 0 | port->iso7816_config | 0 |
| PARAM_VALUE | 0 | port->line | 0 |
| PARAM_VALUE | 0 | port->lock | 0 |
| PARAM_VALUE | 0 | port->mapsize | 0 |
| PARAM_VALUE | 0 | port->minor | 0 |
| PARAM_VALUE | 0 | port->name | 0 |
| PARAM_VALUE | 0 | port->ops | 0 |
| PARAM_VALUE | 0 | port->ops->poll_get_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->poll_init | 0,542853678643802112,853403963737563136,1231480850374565888,1236650878105227264,3206955665515188224,5661098704952168448,7022633692052856832 |
| PARAM_VALUE | 0 | port->ops->poll_put_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->start_rx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->pm | 0 |
| PARAM_VALUE | 0 | port->port_dev | 0 |
| PARAM_VALUE | 0 | port->port_id | 0-s32max |
| PARAM_VALUE | 0 | port->private_data | 0 |
| PARAM_VALUE | 0 | port->quirks | 0 |
| PARAM_VALUE | 0 | port->regshift | 0 |
| PARAM_VALUE | 0 | port->rs485 | 0,513 |
| PARAM_VALUE | 0 | port->rs485_rx_during_tx_gpio | 0 |
| PARAM_VALUE | 0 | port->rs485_supported | 0 |
| PARAM_VALUE | 0 | port->rs485_term_gpio | 0 |
| PARAM_VALUE | 0 | port->set_divisor | 0 |
| PARAM_VALUE | 0 | port->set_ldisc | 0 |
| PARAM_VALUE | 0 | port->set_mctrl | 0 |
| PARAM_VALUE | 0 | port->set_rxtrig | 0,7992203340138283008 |
| PARAM_VALUE | 0 | port->set_termios | 0,7405800079697027072 |
| PARAM_VALUE | 0 | port->shutdown | 0,1777342155058274304 |
| PARAM_VALUE | 0 | port->startup | 0,1474121871731851264 |
| PARAM_VALUE | 0 | port->state->port.tty | 4096-ptr_max |
| PARAM_VALUE | 0 | port->status | 0 |
| PARAM_VALUE | 0 | port->suspended | 0 |
| PARAM_VALUE | 0 | port->sysrq | 0 |
| PARAM_VALUE | 0 | port->sysrq_ch | 0 |
| PARAM_VALUE | 0 | port->sysrq_seq | 0 |
| PARAM_VALUE | 0 | port->throttle | 0,7390467571637153792 |
| PARAM_VALUE | 0 | port->tty_groups | 0 |
| PARAM_VALUE | 0 | port->type | 0,65 |
| PARAM_VALUE | 0 | port->uartclk | 0,14745600 |
| PARAM_VALUE | 0 | port->unthrottle | 0,1391424235131097088 |
| PARAM_VALUE | 0 | port->x_char | 0 |
| PARAM_VALUE | 1 | termios | 4096-ptr_max |
| PARAM_VALUE | 2 | old | 0,1767035511140073472,3137504346029961216,7525340350016356352 |
| BUF_SIZE | 0 | port | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | port | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | port->uartclk | (-1),9 |
| BUF_SIZE | 1 | termios | (-1),44 |
| BUF_SIZE | 1 | termios | (-1),44 |
| DATA_SOURCE | 0 | port | $0 |
| DATA_SOURCE | 1 | termios | $1 |
| DATA_SOURCE | 2 | old | $2 |
| STR_LEN | 0 | port | (-1),7 |
| STR_LEN | 0 | port | (-1),7 |
| STR_LEN | 0 | port->cons | (-1) |
| NOSPEC | 0 | port->cons->index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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 |
| HOST_DATA | 0 | port->cons->irq_work.node.dst | 0 |
| HOST_DATA | 0 | port->cons->irq_work.node.src | 0 |
| HOST_DATA | 0 | port->cons->irq_work.node.u_flags | 0 |
| HOST_DATA | 0 | port->cons->ispeed | 0-u32max |
| 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] |
| USER_DATA | 1 | termios->c_cflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_iflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_ispeed | 0-u32max |
| USER_DATA | 1 | termios->c_lflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_line | 0-255 |
| USER_DATA | 1 | termios->c_oflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_ospeed | 0-u32max |
| HALF_LOCKED2 | &port->mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &console_mutex |
drivers/tty/serial/8250/8250_mid.c mid8250_set_termios() -> serial8250_do_set_termios()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 1198035778769383424 |
| PARAM_VALUE | 0 | port->attr_group | 0 |
| PARAM_VALUE | 0 | port->break_ctl | 0 |
| PARAM_VALUE | 0 | port->cons | 0 |
| PARAM_VALUE | 0 | port->console_reinit | 0 |
| PARAM_VALUE | 0 | port->ctrl_id | 0 |
| PARAM_VALUE | 0 | port->custom_divisor | 0 |
| PARAM_VALUE | 0 | port->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->dev->cma_area->available_count | 0-s64max |
| PARAM_VALUE | 0 | port->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | port->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | port->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port->flags | 0,687865856 |
| PARAM_VALUE | 0 | port->get_divisor | 0 |
| PARAM_VALUE | 0 | port->get_mctrl | 0 |
| PARAM_VALUE | 0 | port->get_rxtrig | 0 |
| PARAM_VALUE | 0 | port->handle_break | 0 |
| PARAM_VALUE | 0 | port->handle_irq | 0,4426276478173302784 |
| PARAM_VALUE | 0 | port->has_sysrq | 0 |
| PARAM_VALUE | 0 | port->hub6 | 0 |
| PARAM_VALUE | 0 | port->hw_stopped | 0 |
| PARAM_VALUE | 0 | port->icount | 0 |
| PARAM_VALUE | 0 | port->ignore_status_mask | 0-1,12-13,16-19,28-31 |
| PARAM_VALUE | 0 | port->iobase | 0 |
| PARAM_VALUE | 0 | port->iotype | 0,2 |
| PARAM_VALUE | 0 | port->irqflags | 0 |
| PARAM_VALUE | 0 | port->iso7816 | 0 |
| PARAM_VALUE | 0 | port->iso7816_config | 0 |
| PARAM_VALUE | 0 | port->line | 0 |
| PARAM_VALUE | 0 | port->lock | 0 |
| PARAM_VALUE | 0 | port->mapsize | 0 |
| PARAM_VALUE | 0 | port->minor | 0 |
| PARAM_VALUE | 0 | port->name | 0 |
| PARAM_VALUE | 0 | port->ops | 0 |
| PARAM_VALUE | 0 | port->ops->poll_get_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->poll_init | 0,542853678643802112,853403963737563136,1231480850374565888,1236650878105227264,3206955665515188224,5661098704952168448,7022633692052856832 |
| PARAM_VALUE | 0 | port->ops->poll_put_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->start_rx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->pm | 0 |
| PARAM_VALUE | 0 | port->port_dev | 0 |
| PARAM_VALUE | 0 | port->port_id | 0-s32max |
| PARAM_VALUE | 0 | port->private_data | 4096-ptr_max |
| PARAM_VALUE | 0 | port->quirks | 0 |
| PARAM_VALUE | 0 | port->read_status_mask | 0,3,15,19,31 |
| PARAM_VALUE | 0 | port->regshift | 0 |
| PARAM_VALUE | 0 | port->rs485 | 0 |
| PARAM_VALUE | 0 | port->rs485_rx_during_tx_gpio | 0 |
| PARAM_VALUE | 0 | port->rs485_supported | 0 |
| PARAM_VALUE | 0 | port->rs485_term_gpio | 0 |
| PARAM_VALUE | 0 | port->serial_in | 0 |
| PARAM_VALUE | 0 | port->serial_out | 0 |
| PARAM_VALUE | 0 | port->set_divisor | 0 |
| PARAM_VALUE | 0 | port->set_ldisc | 0 |
| PARAM_VALUE | 0 | port->set_mctrl | 0 |
| PARAM_VALUE | 0 | port->set_rxtrig | 0 |
| PARAM_VALUE | 0 | port->set_termios | 0,218898552991498240 |
| PARAM_VALUE | 0 | port->shutdown | 0 |
| PARAM_VALUE | 0 | port->startup | 0 |
| PARAM_VALUE | 0 | port->state | 0 |
| PARAM_VALUE | 0 | port->status | 0 |
| PARAM_VALUE | 0 | port->suspended | 0 |
| PARAM_VALUE | 0 | port->sysrq | 0 |
| PARAM_VALUE | 0 | port->sysrq_ch | 0 |
| PARAM_VALUE | 0 | port->sysrq_seq | 0 |
| PARAM_VALUE | 0 | port->throttle | 0 |
| PARAM_VALUE | 0 | port->tty_groups | 0 |
| PARAM_VALUE | 0 | port->type | 0,8 |
| PARAM_VALUE | 0 | port->unthrottle | 0 |
| PARAM_VALUE | 0 | port->x_char | 0 |
| PARAM_VALUE | 1 | termios | 4096-ptr_max |
| PARAM_VALUE | 2 | old | 0,1767035511140073472,3137504346029961216,7525340350016356352 |
| BUF_SIZE | 0 | port | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | port | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | termios | (-1),44 |
| BUF_SIZE | 1 | termios | (-1),44 |
| DATA_SOURCE | 0 | port | $0 |
| DATA_SOURCE | 1 | termios | $1 |
| DATA_SOURCE | 2 | old | $2 |
| STR_LEN | 0 | port | (-1),7 |
| STR_LEN | 0 | port | (-1),7 |
| STR_LEN | 0 | port->cons | (-1) |
| NOSPEC | 0 | port->cons->index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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 |
| HOST_DATA | 0 | port->cons->irq_work.node.dst | 0 |
| HOST_DATA | 0 | port->cons->irq_work.node.src | 0 |
| HOST_DATA | 0 | port->cons->irq_work.node.u_flags | 0 |
| HOST_DATA | 0 | port->cons->ispeed | 0-u32max |
| 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] |
| USER_DATA | 1 | termios->c_cflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_iflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_ispeed | 0-u32max |
| USER_DATA | 1 | termios->c_lflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_line | 0-255 |
| USER_DATA | 1 | termios->c_oflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_ospeed | 0-u32max |
| HALF_LOCKED2 | &port->mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &console_mutex |
drivers/tty/serial/8250/8250_port.c serial8250_set_termios() -> serial8250_do_set_termios()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->dev->cma_area->available_count | 0-s64max |
| PARAM_VALUE | 0 | port->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | port->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | port->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->poll_get_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->poll_init | 0,542853678643802112,853403963737563136,1231480850374565888,1236650878105227264,3206955665515188224,5661098704952168448,7022633692052856832 |
| PARAM_VALUE | 0 | port->ops->poll_put_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->start_rx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->set_termios | 0 |
| PARAM_VALUE | 1 | termios | 4096-ptr_max |
| PARAM_VALUE | 2 | old | 0,1767035511140073472,3137504346029961216,7525340350016356352 |
| BUF_SIZE | 0 | port | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | port | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | port->uartclk | (-1),9 |
| BUF_SIZE | 1 | termios | (-1),44 |
| BUF_SIZE | 1 | termios | (-1),44 |
| DATA_SOURCE | 0 | port | $0 |
| DATA_SOURCE | 1 | termios | $1 |
| DATA_SOURCE | 2 | old | $2 |
| STR_LEN | 0 | port | (-1),7 |
| STR_LEN | 0 | port | (-1),7 |
| STR_LEN | 0 | port->cons | (-1) |
| NOSPEC | 0 | port->cons->index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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] |
| USER_DATA | 1 | termios->c_cflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_iflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_ispeed | 0-u32max |
| USER_DATA | 1 | termios->c_lflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_line | 0-255 |
| USER_DATA | 1 | termios->c_oflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_ospeed | 0-u32max |
| HALF_LOCKED2 | &port->mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &console_mutex |
drivers/tty/serial/8250/8250_port.c serial8250_update_uartclk() -> serial8250_do_set_termios()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->state->port.tty | 0,4096-ptr_max |
| PARAM_VALUE | 1 | termios | 4096-ptr_max |
| PARAM_VALUE | 2 | old | 0 |
| DATA_SOURCE | 0 | port | $0 |
| NOCHECK_CALL | |||
| LOCK2 | _T->lock |
drivers/tty/serial/8250/8250_mtk.c mtk8250_set_termios() -> serial8250_do_set_termios()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 1819181237270331392 |
| PARAM_VALUE | 0 | port->attr_group | 0 |
| PARAM_VALUE | 0 | port->break_ctl | 0 |
| PARAM_VALUE | 0 | port->cons | 0 |
| PARAM_VALUE | 0 | port->console_reinit | 0 |
| PARAM_VALUE | 0 | port->ctrl_id | 0 |
| PARAM_VALUE | 0 | port->custom_divisor | 0 |
| PARAM_VALUE | 0 | port->dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->dev->cma_area->available_count | 0-s64max |
| PARAM_VALUE | 0 | port->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | port->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | port->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port->flags | 0,805306368 |
| PARAM_VALUE | 0 | port->get_divisor | 0 |
| PARAM_VALUE | 0 | port->get_mctrl | 0 |
| PARAM_VALUE | 0 | port->get_rxtrig | 0 |
| PARAM_VALUE | 0 | port->handle_break | 0 |
| PARAM_VALUE | 0 | port->has_sysrq | 0 |
| PARAM_VALUE | 0 | port->hub6 | 0 |
| PARAM_VALUE | 0 | port->hw_stopped | 0 |
| PARAM_VALUE | 0 | port->icount | 0 |
| PARAM_VALUE | 0 | port->ignore_status_mask | 0-1,12-13,16-19,28-31 |
| PARAM_VALUE | 0 | port->iobase | 0 |
| PARAM_VALUE | 0 | port->iotype | 0,3 |
| PARAM_VALUE | 0 | port->irq | 0-s32max |
| PARAM_VALUE | 0 | port->irqflags | 0 |
| PARAM_VALUE | 0 | port->iso7816 | 0 |
| PARAM_VALUE | 0 | port->iso7816_config | 0 |
| PARAM_VALUE | 0 | port->line | 0-s32max |
| PARAM_VALUE | 0 | port->lock | s32min-s32max |
| PARAM_VALUE | 0 | port->mapsize | 0 |
| PARAM_VALUE | 0 | port->minor | 0 |
| PARAM_VALUE | 0 | port->name | 0 |
| PARAM_VALUE | 0 | port->ops | 0 |
| PARAM_VALUE | 0 | port->ops->poll_get_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->poll_init | 0,542853678643802112,853403963737563136,1231480850374565888,1236650878105227264,3206955665515188224,5661098704952168448,7022633692052856832 |
| PARAM_VALUE | 0 | port->ops->poll_put_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->start_rx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->pm | 0,4511255337713278976 |
| PARAM_VALUE | 0 | port->port_dev | 0 |
| PARAM_VALUE | 0 | port->port_id | 0-s32max |
| PARAM_VALUE | 0 | port->private_data | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->quirks | 0 |
| PARAM_VALUE | 0 | port->read_status_mask | 0,3,15,19,31 |
| PARAM_VALUE | 0 | port->regshift | 0,2 |
| PARAM_VALUE | 0 | port->rs485 | 0 |
| PARAM_VALUE | 0 | port->rs485_rx_during_tx_gpio | 0 |
| PARAM_VALUE | 0 | port->rs485_supported | 0 |
| PARAM_VALUE | 0 | port->rs485_term_gpio | 0 |
| PARAM_VALUE | 0 | port->set_divisor | 0 |
| PARAM_VALUE | 0 | port->set_ldisc | 0 |
| PARAM_VALUE | 0 | port->set_mctrl | 0 |
| PARAM_VALUE | 0 | port->set_rxtrig | 0 |
| PARAM_VALUE | 0 | port->set_termios | 0,6006128799960182784 |
| PARAM_VALUE | 0 | port->shutdown | 0,3102226493243260928 |
| PARAM_VALUE | 0 | port->startup | 0,3330526465526231040 |
| PARAM_VALUE | 0 | port->state | 0 |
| PARAM_VALUE | 0 | port->status | 0 |
| PARAM_VALUE | 0 | port->suspended | 0 |
| PARAM_VALUE | 0 | port->sysrq | 0 |
| PARAM_VALUE | 0 | port->sysrq_ch | 0 |
| PARAM_VALUE | 0 | port->sysrq_seq | 0 |
| PARAM_VALUE | 0 | port->throttle | 0 |
| PARAM_VALUE | 0 | port->tty_groups | 0 |
| PARAM_VALUE | 0 | port->type | 0,3 |
| PARAM_VALUE | 0 | port->unthrottle | 0 |
| PARAM_VALUE | 0 | port->x_char | 0 |
| PARAM_VALUE | 1 | termios | 4096-ptr_max |
| PARAM_VALUE | 2 | old | 0 |
| BUF_SIZE | 0 | port | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | port | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | port->uartclk | (-1),9 |
| BUF_SIZE | 1 | termios | (-1),44 |
| BUF_SIZE | 1 | termios | (-1),44 |
| CAPPED_DATA | 0 | port->line | 1 |
| DATA_SOURCE | 0 | port | $0 |
| DATA_SOURCE | 1 | termios | $1 |
| STR_LEN | 0 | port | (-1),7 |
| STR_LEN | 0 | port | (-1),7 |
| STR_LEN | 0 | port->cons | (-1) |
| NOSPEC | 0 | port->cons->index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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 |
| HOST_DATA | 0 | port->cons->irq_work.node.dst | 0 |
| HOST_DATA | 0 | port->cons->irq_work.node.src | 0 |
| HOST_DATA | 0 | port->cons->irq_work.node.u_flags | 0 |
| HOST_DATA | 0 | port->cons->ispeed | 0-u32max |
| 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] |
| USER_DATA | 1 | termios->c_cflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_iflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_ispeed | 0-u32max |
| USER_DATA | 1 | termios->c_lflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_line | 0-255 |
| USER_DATA | 1 | termios->c_oflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_ospeed | 0-u32max |
| HALF_LOCKED2 | &port->mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &console_mutex |
drivers/tty/serial/8250/8250_port.c serial8250_set_termios() -> (struct uart_port)->set_termios()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->dev->cma_area->available_count | 0-s64max |
| PARAM_VALUE | 0 | port->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | port->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | port->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->poll_get_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->poll_init | 0,542853678643802112,853403963737563136,1231480850374565888,1236650878105227264,3206955665515188224,5661098704952168448,7022633692052856832 |
| PARAM_VALUE | 0 | port->ops->poll_put_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->start_rx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->set_termios | 1-u64max |
| PARAM_VALUE | 1 | termios | 4096-ptr_max |
| PARAM_VALUE | 2 | old | 0,1767035511140073472,3137504346029961216,7525340350016356352 |
| BUF_SIZE | 0 | port | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | port | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | port->uartclk | (-1),9 |
| BUF_SIZE | 1 | termios | (-1),44 |
| BUF_SIZE | 1 | termios | (-1),44 |
| DATA_SOURCE | 0 | port | $0 |
| DATA_SOURCE | 1 | termios | $1 |
| DATA_SOURCE | 2 | old | $2 |
| STR_LEN | 0 | port | (-1),7 |
| STR_LEN | 0 | port | (-1),7 |
| STR_LEN | 0 | port->cons | (-1) |
| CONTAINER | 0 | -104+0 | $(-1) |
| NOSPEC | 0 | port->cons->index | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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] |
| USER_DATA | 1 | termios->c_cflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_iflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_ispeed | 0-u32max |
| USER_DATA | 1 | termios->c_lflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_line | 0-255 |
| USER_DATA | 1 | termios->c_oflag | 0-u32max[c] |
| USER_DATA | 1 | termios->c_ospeed | 0-u32max |
| HALF_LOCKED2 | &port->mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &console_mutex |