Defined in 3 files as a function:
- drivers/tty/serial/8250/8250_port.c, line 1386 (as a function)
- drivers/tty/serial/ma35d1_serial.c, line 178 (as a function)
- drivers/tty/serial/sunsu.c, line 231 (as a function)
Referenced in 3 files:
- drivers/tty/serial/8250/8250_port.c
- drivers/tty/serial/ma35d1_serial.c, line 191
- drivers/tty/serial/sunsu.c
Smatch caller information:
drivers/tty/serial/8250/8250_port.c serial8250_handle_irq_locked() -> __stop_tx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| PARAM_VALUE | 0 | p->dma | 4096-ptr_max |
| PARAM_VALUE | 0 | p->dma->tx_err | 0 |
| PARAM_VALUE | 0 | p->dma->tx_running | 0 |
| PARAM_VALUE | 0 | p->ier | 8-255 |
| PARAM_VALUE | 0 | p->msr_saved_flags | 0 |
| PARAM_VALUE | 0 | p->port.serial_in | 4096-ptr_max |
| PARAM_VALUE | 0 | p->port.state->port.client_data->serdev->write_comp.done | 0-4294967295 |
| PARAM_VALUE | 0 | p->port.state->port.client_data->serdev->write_comp.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | p->port.state->port.client_data->serdev->write_comp.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | p->port.state->port.tty->hangup_work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | p->port.state->port.tty->ldisc_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | p->port.state->port.tty->ldisc_sem.read_wait.next | 4096-ptr_max |
| PARAM_VALUE | 0 | p->port.state->port.tty->ldisc_sem.read_wait.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | p->port.state->port.tty->ldisc_sem.read_wait.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | p->port.state->port.tty->ldisc_sem.read_wait.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | p->port.state->port.tty->ldisc_sem.read_wait.prev->prev | 4096-ptr_max |
| DATA_SOURCE | 0 | p | r up_to_u8250p |
| BIT_INFO | 0 | p->ier | 0x2,0xff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &_T->lock->lock | ||
| LOCK2 | _T->flags |
drivers/tty/serial/8250/8250_port.c serial8250_stop_tx() -> __stop_tx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| PARAM_VALUE | 0 | p->port.dev->power.request | 0-4 |
| PARAM_VALUE | 0 | p->port.dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | p->port.dev->power.wakeirq->status | 0-4294967295 |
| DATA_SOURCE | 0 | p | r up_to_u8250p |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | <q_port->lock | ||
| HALF_LOCKED2 | &port->lock | ||
| HALF_LOCKED2 | &port->lock | ||
| HALF_LOCKED2 | &ssp->port.lock | ||
| HALF_LOCKED2 | &state->uart_port->lock | ||
| HALF_LOCKED2 | &tty->flow.lock | ||
| HALF_LOCKED2 | &up->port.lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq |
drivers/tty/serial/8250/8250_port.c serial8250_tx_chars() -> __stop_tx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| PARAM_VALUE | 0 | p->port.hw_stopped | 0 |
| PARAM_VALUE | 0 | p->port.state | 4096-ptr_max |
| PARAM_VALUE | 0 | p->port.state->port.tty | 0,4096-ptr_max |
| PARAM_VALUE | 0 | p->port.x_char | 0 |
| DATA_SOURCE | 0 | p | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | p->acr | 0-255 |
| HOST_DATA | 0 | p->bugs | 0-u16max |
| HOST_DATA | 0 | p->canary | 0-255 |
| HOST_DATA | 0 | p->capabilities | 0-u32max |
| HOST_DATA | 0 | p->console_line_ended | 0-1 |
| HOST_DATA | 0 | p->console_msr_work.node.a_flags.counter | s32min-s32max |
| HOST_DATA | 0 | p->console_msr_work.node.dst | 0-u16max |
| HOST_DATA | 0 | p->console_msr_work.node.src | 0-u16max |
| HOST_DATA | 0 | p->console_msr_work.node.u_flags | 0-u32max |
| HOST_DATA | 0 | p->console_msr_work_allow | 0-1 |
| HOST_DATA | 0 | p->cur_iotype | 0-255 |
| HOST_DATA | 0 | p->fcr | 0-255 |
| HOST_DATA | 0 | p->ier | 8-255 |
| HOST_DATA | 0 | p->lcr | 0-255 |
| HOST_DATA | 0 | p->lsr_save_mask | 0-u16max |
| HOST_DATA | 0 | p->lsr_saved_flags | 0-u16max |
| HOST_DATA | 0 | p->mcr | 0-255 |
| HOST_DATA | 0 | p->overrun_backoff.cpu | s32min-s32max |
| HOST_DATA | 0 | p->overrun_backoff_time_ms | 1-u32max |
| HOST_DATA | 0 | p->port.cons_flow | 0-1 |
| HOST_DATA | 0 | p->port.console_reinit | 0-255 |
| HOST_DATA | 0 | p->port.ctrl_id | 0-u32max |
| HOST_DATA | 0 | p->port.custom_divisor | 0-u32max |
| HOST_DATA | 0 | p->port.fifosize | 0-u32max |
| HOST_DATA | 0 | p->port.flags | 0-u64max |
| HOST_DATA | 0 | p->port.frame_time | 0-u32max |
| HOST_DATA | 0 | p->port.has_sysrq | 0-255 |
| HOST_DATA | 0 | p->port.hub6 | 0-255 |
| HOST_DATA | 0 | p->port.hw_stopped | 0 |
| HOST_DATA | 0 | p->port.icount.brk | 0-u32max |
| HOST_DATA | 0 | p->port.icount.buf_overrun | 0-u32max |
| HOST_DATA | 0 | p->port.icount.cts | 0-u32max |
| HOST_DATA | 0 | p->port.icount.dcd | 0-u32max |
| HOST_DATA | 0 | p->port.icount.dsr | 0-u32max |
| HOST_DATA | 0 | p->port.icount.frame | 0-u32max |
| HOST_DATA | 0 | p->port.icount.overrun | 0-u32max |
| HOST_DATA | 0 | p->port.icount.parity | 0-u32max |
| HOST_DATA | 0 | p->port.icount.rng | 0-u32max |
| HOST_DATA | 0 | p->port.icount.rx | 0-u32max |
| HOST_DATA | 0 | p->port.icount.tx | 0-u32max |
| HOST_DATA | 0 | p->port.ignore_status_mask | 0-u32max |
| HOST_DATA | 0 | p->port.iobase | 0-u64max |
| HOST_DATA | 0 | p->port.iotype | s32min-s32max |
| HOST_DATA | 0 | p->port.irq | 0-u32max |
| HOST_DATA | 0 | p->port.irqflags | 0-u64max |
| HOST_DATA | 0 | p->port.iso7816.clk | 0-u32max |
| HOST_DATA | 0 | p->port.iso7816.flags | 0-u32max |
| HOST_DATA | 0 | p->port.iso7816.sc_di | 0-u32max |
| HOST_DATA | 0 | p->port.iso7816.sc_fi | 0-u32max |
| HOST_DATA | 0 | p->port.iso7816.tg | 0-u32max |
| HOST_DATA | 0 | p->port.line | 0-u32max |
| HOST_DATA | 0 | p->port.mapbase | 0-u64max |
| HOST_DATA | 0 | p->port.mapsize | 0-u64max |
| HOST_DATA | 0 | p->port.mctrl | 0-u32max |
| HOST_DATA | 0 | p->port.minor | 0-u32max |
| HOST_DATA | 0 | p->port.port_id | 0-u32max |
| HOST_DATA | 0 | p->port.quirks | 0-255 |
| HOST_DATA | 0 | p->port.read_status_mask | 0-u32max |
| HOST_DATA | 0 | p->port.regshift | 0-255 |
| HOST_DATA | 0 | p->port.rs485.addr_dest | 0-255 |
| HOST_DATA | 0 | p->port.rs485.addr_recv | 0-255 |
| HOST_DATA | 0 | p->port.rs485.delay_rts_after_send | 0-u32max |
| HOST_DATA | 0 | p->port.rs485.delay_rts_before_send | 0-u32max |
| HOST_DATA | 0 | p->port.rs485.flags | 0-u32max |
| HOST_DATA | 0 | p->port.rs485_supported.addr_dest | 0-255 |
| HOST_DATA | 0 | p->port.rs485_supported.addr_recv | 0-255 |
| HOST_DATA | 0 | p->port.rs485_supported.delay_rts_after_send | 0-u32max |
| HOST_DATA | 0 | p->port.rs485_supported.delay_rts_before_send | 0-u32max |
| HOST_DATA | 0 | p->port.rs485_supported.flags | 0-u32max |
| HOST_DATA | 0 | p->port.state->port.buf.tail->next->size | 0,256-u32max[c] |
| HOST_DATA | 0 | p->port.state->port.buf.tail->size | 0,256-u32max[c] |
| HOST_DATA | 0 | p->port.status | 0-u32max |
| HOST_DATA | 0 | p->port.suspended | 0-255 |
| HOST_DATA | 0 | p->port.sysrq | 0-u64max |
| HOST_DATA | 0 | p->port.sysrq_ch | 0-255 |
| HOST_DATA | 0 | p->port.sysrq_seq | 0-255 |
| HOST_DATA | 0 | p->port.type | 0-u32max |
| HOST_DATA | 0 | p->port.uartclk | 0-u32max |
| HOST_DATA | 0 | p->port.x_char | 0 |
| HOST_DATA | 0 | p->probe | 0-255 |
| HOST_DATA | 0 | p->rpm_tx_active | 0-u32max |
| HOST_DATA | 0 | p->timer.expires | 0-u64max |
| HOST_DATA | 0 | p->timer.flags | 0-u32max |
| HOST_DATA | 0 | p->tx_loadsz | 0-u32max |
| HALF_LOCKED2 | &_T->lock->lock | ||
| HALF_LOCKED2 | &port->lock | ||
| HALF_LOCKED2 | _T->flags | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | 0 | &p->port.lock |
drivers/tty/serial/8250/8250_port.c serial8250_tx_chars() -> __stop_tx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| PARAM_VALUE | 0 | p->port.hw_stopped | 0 |
| PARAM_VALUE | 0 | p->port.state | 4096-ptr_max |
| PARAM_VALUE | 0 | p->port.state->port.client_data->serdev->write_comp.done | 0-4294967295 |
| PARAM_VALUE | 0 | p->port.state->port.client_data->serdev->write_comp.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | p->port.state->port.client_data->serdev->write_comp.wait.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | p->port.state->port.tty | 0,4096-ptr_max |
| PARAM_VALUE | 0 | p->port.x_char | 0 |
| DATA_SOURCE | 0 | p | $0 |
| BIT_INFO | 0 | p->capabilities | 0x0,0xffff7fff |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | p->acr | 0-255 |
| HOST_DATA | 0 | p->bugs | 0-u16max |
| HOST_DATA | 0 | p->canary | 0-255 |
| HOST_DATA | 0 | p->capabilities | 0-u32max |
| HOST_DATA | 0 | p->console_line_ended | 0-1 |
| HOST_DATA | 0 | p->console_msr_work.node.a_flags.counter | s32min-s32max |
| HOST_DATA | 0 | p->console_msr_work.node.dst | 0-u16max |
| HOST_DATA | 0 | p->console_msr_work.node.src | 0-u16max |
| HOST_DATA | 0 | p->console_msr_work.node.u_flags | 0-u32max |
| HOST_DATA | 0 | p->console_msr_work_allow | 0-1 |
| HOST_DATA | 0 | p->cur_iotype | 0-255 |
| HOST_DATA | 0 | p->fcr | 0-255 |
| HOST_DATA | 0 | p->ier | 8-255 |
| HOST_DATA | 0 | p->lcr | 0-255 |
| HOST_DATA | 0 | p->lsr_save_mask | 0-u16max |
| HOST_DATA | 0 | p->lsr_saved_flags | 0-u16max |
| HOST_DATA | 0 | p->mcr | 0-255 |
| HOST_DATA | 0 | p->overrun_backoff.cpu | s32min-s32max |
| HOST_DATA | 0 | p->overrun_backoff_time_ms | 1-u32max |
| HOST_DATA | 0 | p->port.cons_flow | 0-1 |
| HOST_DATA | 0 | p->port.console_reinit | 0-255 |
| HOST_DATA | 0 | p->port.ctrl_id | 0-u32max |
| HOST_DATA | 0 | p->port.custom_divisor | 0-u32max |
| HOST_DATA | 0 | p->port.fifosize | 0-u32max |
| HOST_DATA | 0 | p->port.flags | 0-u64max |
| HOST_DATA | 0 | p->port.frame_time | 0-u32max |
| HOST_DATA | 0 | p->port.has_sysrq | 0-255 |
| HOST_DATA | 0 | p->port.hub6 | 0-255 |
| HOST_DATA | 0 | p->port.hw_stopped | 0 |
| HOST_DATA | 0 | p->port.icount.brk | 0-u32max |
| HOST_DATA | 0 | p->port.icount.buf_overrun | 0-u32max |
| HOST_DATA | 0 | p->port.icount.cts | 0-u32max |
| HOST_DATA | 0 | p->port.icount.dcd | 0-u32max |
| HOST_DATA | 0 | p->port.icount.dsr | 0-u32max |
| HOST_DATA | 0 | p->port.icount.frame | 0-u32max |
| HOST_DATA | 0 | p->port.icount.overrun | 0-u32max |
| HOST_DATA | 0 | p->port.icount.parity | 0-u32max |
| HOST_DATA | 0 | p->port.icount.rng | 0-u32max |
| HOST_DATA | 0 | p->port.icount.rx | 0-u32max |
| HOST_DATA | 0 | p->port.icount.tx | 0-u32max |
| HOST_DATA | 0 | p->port.ignore_status_mask | 0-u32max |
| HOST_DATA | 0 | p->port.iobase | 0-u64max |
| HOST_DATA | 0 | p->port.iotype | s32min-s32max |
| HOST_DATA | 0 | p->port.irq | 0-u32max |
| HOST_DATA | 0 | p->port.irqflags | 0-u64max |
| HOST_DATA | 0 | p->port.iso7816.clk | 0-u32max |
| HOST_DATA | 0 | p->port.iso7816.flags | 0-u32max |
| HOST_DATA | 0 | p->port.iso7816.sc_di | 0-u32max |
| HOST_DATA | 0 | p->port.iso7816.sc_fi | 0-u32max |
| HOST_DATA | 0 | p->port.iso7816.tg | 0-u32max |
| HOST_DATA | 0 | p->port.line | 0-u32max |
| HOST_DATA | 0 | p->port.mapbase | 0-u64max |
| HOST_DATA | 0 | p->port.mapsize | 0-u64max |
| HOST_DATA | 0 | p->port.mctrl | 0-u32max |
| HOST_DATA | 0 | p->port.minor | 0-u32max |
| HOST_DATA | 0 | p->port.port_id | 0-u32max |
| HOST_DATA | 0 | p->port.quirks | 0-255 |
| HOST_DATA | 0 | p->port.read_status_mask | 0-u32max |
| HOST_DATA | 0 | p->port.regshift | 0-255 |
| HOST_DATA | 0 | p->port.rs485.addr_dest | 0-255 |
| HOST_DATA | 0 | p->port.rs485.addr_recv | 0-255 |
| HOST_DATA | 0 | p->port.rs485.delay_rts_after_send | 0-u32max |
| HOST_DATA | 0 | p->port.rs485.delay_rts_before_send | 0-u32max |
| HOST_DATA | 0 | p->port.rs485.flags | 0-u32max |
| HOST_DATA | 0 | p->port.rs485_supported.addr_dest | 0-255 |
| HOST_DATA | 0 | p->port.rs485_supported.addr_recv | 0-255 |
| HOST_DATA | 0 | p->port.rs485_supported.delay_rts_after_send | 0-u32max |
| HOST_DATA | 0 | p->port.rs485_supported.delay_rts_before_send | 0-u32max |
| HOST_DATA | 0 | p->port.rs485_supported.flags | 0-u32max |
| HOST_DATA | 0 | p->port.state->port.buf.tail->next->size | 0,256-u32max[c] |
| HOST_DATA | 0 | p->port.state->port.buf.tail->size | 0,256-u32max[c] |
| HOST_DATA | 0 | p->port.status | 0-u32max |
| HOST_DATA | 0 | p->port.suspended | 0-255 |
| HOST_DATA | 0 | p->port.sysrq | 0-u64max |
| HOST_DATA | 0 | p->port.sysrq_ch | 0-255 |
| HOST_DATA | 0 | p->port.sysrq_seq | 0-255 |
| HOST_DATA | 0 | p->port.type | 0-u32max |
| HOST_DATA | 0 | p->port.uartclk | 0-u32max |
| HOST_DATA | 0 | p->port.x_char | 0 |
| HOST_DATA | 0 | p->probe | 0-255 |
| HOST_DATA | 0 | p->rpm_tx_active | 0-u32max |
| HOST_DATA | 0 | p->timer.expires | 0-u64max |
| HOST_DATA | 0 | p->timer.flags | 0-u32max |
| HOST_DATA | 0 | p->tx_loadsz | 0-u32max |
| HALF_LOCKED2 | &_T->lock->lock | ||
| HALF_LOCKED2 | &port->lock | ||
| HALF_LOCKED2 | _T->flags | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | 0 | &p->port.lock |
drivers/tty/serial/ma35d1_serial.c ma35d1serial_stop_tx() -> __stop_tx()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| DATA_SOURCE | 0 | p | r to_ma35d1_uart_port |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | <q_port->lock | ||
| HALF_LOCKED2 | &port->lock | ||
| HALF_LOCKED2 | &port->lock | ||
| HALF_LOCKED2 | &ssp->port.lock | ||
| HALF_LOCKED2 | &state->uart_port->lock | ||
| HALF_LOCKED2 | &tty->flow.lock | ||
| HALF_LOCKED2 | &up->port.lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq |