mps2_uart_tx_empty identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/tty/serial/mps2-uart.c, line 104 (as a function)

Referenced in 1 files:

drivers/tty/serial/mps2-uart.c
- line 134
- line 396

Smatch caller information:

drivers/tty/serial/mps2-uart.c mps2_uart_tx_chars() -> mps2_uart_tx_empty()

Type	Parameter	Key	Value
PARAM_VALUE	0	port	4096-ptr_max
BUF_SIZE	0	port	s32min-(-1),1-s32max
BUF_SIZE	0	port	s32min-(-1),1-s32max
DATA_SOURCE	0	port	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	port->cons_flow	0-1
HOST_DATA	0	port->console_reinit	0-255
HOST_DATA	0	port->ctrl_id	0-u32max
HOST_DATA	0	port->custom_divisor	0-u32max
HOST_DATA	0	port->fifosize	0-u32max
HOST_DATA	0	port->flags	0-u64max
HOST_DATA	0	port->frame_time	0-u32max
HOST_DATA	0	port->has_sysrq	0-255
HOST_DATA	0	port->hub6	0-255
HOST_DATA	0	port->icount.brk	0-u32max
HOST_DATA	0	port->icount.buf_overrun	0-u32max
HOST_DATA	0	port->icount.cts	0-u32max
HOST_DATA	0	port->icount.dcd	0-u32max
HOST_DATA	0	port->icount.dsr	0-u32max
HOST_DATA	0	port->icount.frame	0-u32max
HOST_DATA	0	port->icount.overrun	0-u32max
HOST_DATA	0	port->icount.parity	0-u32max
HOST_DATA	0	port->icount.rng	0-u32max
HOST_DATA	0	port->icount.rx	0-u32max
HOST_DATA	0	port->icount.tx	0-u32max
HOST_DATA	0	port->ignore_status_mask	0-u32max
HOST_DATA	0	port->iobase	0-u64max
HOST_DATA	0	port->iotype	s32min-s32max
HOST_DATA	0	port->irq	0-u32max
HOST_DATA	0	port->irqflags	0-u64max
HOST_DATA	0	port->iso7816.clk	0-u32max
HOST_DATA	0	port->iso7816.flags	0-u32max
HOST_DATA	0	port->iso7816.sc_di	0-u32max
HOST_DATA	0	port->iso7816.sc_fi	0-u32max
HOST_DATA	0	port->iso7816.tg	0-u32max
HOST_DATA	0	port->line	0-u32max
HOST_DATA	0	port->mapbase	0-u64max
HOST_DATA	0	port->mapsize	0-u64max
HOST_DATA	0	port->mctrl	0-u32max
HOST_DATA	0	port->minor	0-u32max
HOST_DATA	0	port->port_id	0-u32max
HOST_DATA	0	port->quirks	0-255
HOST_DATA	0	port->read_status_mask	0-u32max
HOST_DATA	0	port->regshift	0-255
HOST_DATA	0	port->rs485.addr_dest	0-255
HOST_DATA	0	port->rs485.addr_recv	0-255
HOST_DATA	0	port->rs485.delay_rts_after_send	0-u32max
HOST_DATA	0	port->rs485.delay_rts_before_send	0-u32max
HOST_DATA	0	port->rs485.flags	0-u32max
HOST_DATA	0	port->rs485_supported.addr_dest	0-255
HOST_DATA	0	port->rs485_supported.addr_recv	0-255
HOST_DATA	0	port->rs485_supported.delay_rts_after_send	0-u32max
HOST_DATA	0	port->rs485_supported.delay_rts_before_send	0-u32max
HOST_DATA	0	port->rs485_supported.flags	0-u32max
HOST_DATA	0	port->status	0-u32max
HOST_DATA	0	port->suspended	0-255
HOST_DATA	0	port->sysrq	0-u64max
HOST_DATA	0	port->sysrq_ch	0-255
HOST_DATA	0	port->sysrq_seq	0-255
HOST_DATA	0	port->type	0-u32max
HOST_DATA	0	port->uartclk	0-u32max
HOST_DATA	0	port->x_char	0-255
HALF_LOCKED2		_T->lock
HALF_LOCKED2		flags
HALF_LOCKED2		irq
HALF_LOCKED2	0	&port->lock

drivers/tty/serial/mps2-uart.c mps2_uart_tx_chars() -> mps2_uart_tx_empty()

Type	Parameter	Key	Value
PARAM_VALUE	0	port	4096-ptr_max
BUF_SIZE	0	port	s32min-(-1),1-s32max
BUF_SIZE	0	port	s32min-(-1),1-s32max
DATA_SOURCE	0	port	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	port->cons_flow	0-1
HOST_DATA	0	port->console_reinit	0-255
HOST_DATA	0	port->ctrl_id	0-u32max
HOST_DATA	0	port->custom_divisor	0-u32max
HOST_DATA	0	port->fifosize	0-u32max
HOST_DATA	0	port->flags	0-u64max
HOST_DATA	0	port->frame_time	0-u32max
HOST_DATA	0	port->has_sysrq	0-255
HOST_DATA	0	port->hub6	0-255
HOST_DATA	0	port->icount.brk	0-u32max
HOST_DATA	0	port->icount.buf_overrun	0-u32max
HOST_DATA	0	port->icount.cts	0-u32max
HOST_DATA	0	port->icount.dcd	0-u32max
HOST_DATA	0	port->icount.dsr	0-u32max
HOST_DATA	0	port->icount.frame	0-u32max
HOST_DATA	0	port->icount.overrun	0-u32max
HOST_DATA	0	port->icount.parity	0-u32max
HOST_DATA	0	port->icount.rng	0-u32max
HOST_DATA	0	port->icount.rx	0-u32max
HOST_DATA	0	port->icount.tx	0-u32max
HOST_DATA	0	port->ignore_status_mask	0-u32max
HOST_DATA	0	port->iobase	0-u64max
HOST_DATA	0	port->iotype	s32min-s32max
HOST_DATA	0	port->irq	0-u32max
HOST_DATA	0	port->irqflags	0-u64max
HOST_DATA	0	port->iso7816.clk	0-u32max
HOST_DATA	0	port->iso7816.flags	0-u32max
HOST_DATA	0	port->iso7816.sc_di	0-u32max
HOST_DATA	0	port->iso7816.sc_fi	0-u32max
HOST_DATA	0	port->iso7816.tg	0-u32max
HOST_DATA	0	port->line	0-u32max
HOST_DATA	0	port->mapbase	0-u64max
HOST_DATA	0	port->mapsize	0-u64max
HOST_DATA	0	port->mctrl	0-u32max
HOST_DATA	0	port->minor	0-u32max
HOST_DATA	0	port->port_id	0-u32max
HOST_DATA	0	port->quirks	0-255
HOST_DATA	0	port->read_status_mask	0-u32max
HOST_DATA	0	port->regshift	0-255
HOST_DATA	0	port->rs485.addr_dest	0-255
HOST_DATA	0	port->rs485.addr_recv	0-255
HOST_DATA	0	port->rs485.delay_rts_after_send	0-u32max
HOST_DATA	0	port->rs485.delay_rts_before_send	0-u32max
HOST_DATA	0	port->rs485.flags	0-u32max
HOST_DATA	0	port->rs485_supported.addr_dest	0-255
HOST_DATA	0	port->rs485_supported.addr_recv	0-255
HOST_DATA	0	port->rs485_supported.delay_rts_after_send	0-u32max
HOST_DATA	0	port->rs485_supported.delay_rts_before_send	0-u32max
HOST_DATA	0	port->rs485_supported.flags	0-u32max
HOST_DATA	0	port->status	0-u32max
HOST_DATA	0	port->suspended	0-255
HOST_DATA	0	port->sysrq	0-u64max
HOST_DATA	0	port->sysrq_ch	0-255
HOST_DATA	0	port->sysrq_seq	0-255
HOST_DATA	0	port->type	0-u32max
HOST_DATA	0	port->uartclk	0-u32max
HOST_DATA	0	port->x_char	0
HALF_LOCKED2		_T->lock
HALF_LOCKED2		flags
HALF_LOCKED2		irq
HALF_LOCKED2	0	&port->lock

drivers/tty/serial/serial_core.c uart_get_lsr_info() -> (struct uart_ops)->tx_empty()

Type	Parameter	Key	Value
PARAM_VALUE	0	port	4096-ptr_max
PARAM_VALUE	0	port->ops	4096-ptr_max
CONTAINER	0	-0-392+0	$(-1)
LOCK2		_T->lock
HALF_LOCKED2		&tty->termios_rwsem

drivers/tty/serial/serial_core.c uart_suspend_port() -> (struct uart_ops)->tx_empty()

Type	Parameter	Key	Value
PARAM_VALUE	0	port	4096-ptr_max
PARAM_VALUE	0	port->cons	0,4096-ptr_max
PARAM_VALUE	0	port->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	port->mctrl	0
PARAM_VALUE	0	port->ops	4096-ptr_max
PARAM_VALUE	0	port->suspended	1
BUF_SIZE	0	port	s32min-(-1),1-s32max
BUF_SIZE	0	port	s32min-(-1),1-s32max
DATA_SOURCE	0	port	$1
BIT_INFO	0	port->rs485.flags	0x0,0xffffffff
TASK_NOT_RUNNING
LOCK2		_T->lock
LOCK2	0	&port->lock

drivers/tty/serial/serial_core.c uart_suspend_port() -> (struct uart_ops)->tx_empty()

Type	Parameter	Key	Value
PARAM_VALUE	0	port	4096-ptr_max
PARAM_VALUE	0	port->cons	0,4096-ptr_max
PARAM_VALUE	0	port->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	port->mctrl	0
PARAM_VALUE	0	port->ops	4096-ptr_max
PARAM_VALUE	0	port->suspended	1
BUF_SIZE	0	port	s32min-(-1),1-s32max
BUF_SIZE	0	port	s32min-(-1),1-s32max
DATA_SOURCE	0	port	$1
BIT_INFO	0	port->rs485.flags	0x0,0xffffffff
TASK_NOT_RUNNING
LOCK2		_T->lock
LOCK2	0	&port->lock

drivers/tty/serial/serial_core.c uart_wait_until_sent() -> (struct uart_ops)->tx_empty()

Type	Parameter	Key	Value
PARAM_VALUE	0	port	4096-ptr_max
PARAM_VALUE	0	port->fifosize	1-u32max
PARAM_VALUE	0	port->ops	4096-ptr_max
PARAM_VALUE	0	port->type	1-u32max
CONTAINER	0	-0-392+0	$(-1)
TASK_NOT_RUNNING
HALF_LOCKED2		&tty->atomic_write_lock
HALF_LOCKED2		&tty->ldisc_sem

drivers/tty/serial/serial_core.c uart_wait_until_sent() -> (struct uart_ops)->tx_empty()

Type	Parameter	Key	Value
PARAM_VALUE	0	port	4096-ptr_max
PARAM_VALUE	0	port->fifosize	1-u32max
PARAM_VALUE	0	port->ops	4096-ptr_max
PARAM_VALUE	0	port->type	1-u32max
CONTAINER	0	-0-392+0	$(-1)
TASK_NOT_RUNNING
HALF_LOCKED2		&tty->atomic_write_lock
HALF_LOCKED2		&tty->ldisc_sem