Defined in 3 files as a function:

Referenced in 3 files:

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 &ltq_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 &ltq_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