Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/serial/sh-sci.c sci_shutdown() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->cons 0,4096-ptr_max
PARAM_VALUE 0 port->ops 4096-ptr_max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
DATA_SOURCE 0 port $0
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
LOCK2 flags
LOCK2 0 &port->lock
TYPE_LOCK (struct uart_port)->lock

drivers/tty/serial/altera_uart.c altera_uart_tx_chars() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->cons 0,4096-ptr_max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->state 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_data->serdev->dev.driver_data->proto_lock->read_count 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.done 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner (-1)
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 port->state->port.client_ops 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_ops->write_wakeup 4096-ptr_max
BUF_SIZE 0 port (-1),616
BUF_SIZE 0 port (-1),616
DATA_SOURCE 0 port $0
CONTAINER 0 -24-392+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &port->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct uart_port)->lock

drivers/tty/serial/serial_core.c uart_change_line_settings() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->cons 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->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->port_dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 port->type 1-u32max
CONTAINER 0 -24-392+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
LOCK2 irq
LOCK2 0 &port->lock
HALF_LOCKED2 &tty->termios_rwsem
HALF_LOCKED2 &uport->lock
TYPE_LOCK (struct uart_port)->lock

drivers/tty/serial/serial_core.c uart_handle_cts_change() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->hw_stopped 1
PARAM_VALUE 0 port->ops 4096-ptr_max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
DATA_SOURCE 0 port $0
CONTAINER 0 -24-392+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
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 &atmel_port->lock_suspended
HALF_LOCKED2 &port->lock
HALF_LOCKED2 &s->port.lock
HALF_LOCKED2 &sport->port.lock
HALF_LOCKED2 &u->lock
HALF_LOCKED2 &uart->port.lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 lock_flags
HALF_LOCKED2 0 &port->lock

drivers/tty/serial/serial_core.c uart_stop() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->cons 0,4096-ptr_max
PARAM_VALUE 0 port->ops 4096-ptr_max
DATA_SOURCE 0 port r uart_port_ref_lock
CONTAINER 0 -24-392+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &state->uart_port->lock
LOCK2 &tty->flow.lock
LOCK2 flags
LOCK2 irq
HALF_LOCKED2 &tty->atomic_write_lock
HALF_LOCKED2 &tty->ldisc_sem
HALF_LOCKED2 &tty->port->buf.lock
HALF_LOCKED2 &tty->termios_rwsem
TYPE_LOCK (struct tty_struct)->flow.lock
TYPE_LOCK (struct uart_port)->lock

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

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->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
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
LOCK2 irq
LOCK2 0 &port->lock
TYPE_LOCK (struct uart_port)->lock

drivers/tty/serial/lantiq.c lqasc_start_tx() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->state 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_data->serdev->dev.driver_data->proto_lock->read_count 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.done 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner (-1)
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 port->state->port.client_ops 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_ops->write_wakeup 4096-ptr_max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
DATA_SOURCE 0 port $0
CONTAINER 0 -24-392+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
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
LOCK2 &ltq_port->lock
LOCK2 flags
HALF_LOCKED2 &_T->lock->lock
HALF_LOCKED2 &port->lock
HALF_LOCKED2 _T->flags
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct ltq_uart_port)->lock

drivers/tty/serial/amba-pl010.c pl010_tx_chars() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->cons 0,4096-ptr_max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->state 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_data->serdev->dev.driver_data->proto_lock->read_count 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.done 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner (-1)
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 port->state->port.client_ops 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_ops->write_wakeup 4096-ptr_max
BUF_SIZE 0 port 616
DATA_SOURCE 0 port $0
CONTAINER 0 -24-392+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &port->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct uart_port)->lock

drivers/tty/serial/sprd_serial.c sprd_tx() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->cons 0,4096-ptr_max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->state 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_data->serdev->dev.driver_data->proto_lock->read_count 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.done 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner (-1)
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 port->state->port.client_ops 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_ops->write_wakeup 4096-ptr_max
PARAM_VALUE 0 port->x_char 0
DATA_SOURCE 0 port $0
CONTAINER 0 -24-392+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &port->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct uart_port)->lock

drivers/tty/serial/8250/8250_mxpcie.c mxpcie8250_tx_chars() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->serial_in 4096-ptr_max
PARAM_VALUE 0 port->state 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_data->serdev->dev.driver_data->proto_lock->read_count 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.done 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner (-1)
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 port->state->port.client_ops 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_ops->write_wakeup 4096-ptr_max
BUF_SIZE 0 port 616
CONTAINER 0 -24-392+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &_T->lock->lock
LOCK2 _T->flags
HALF_LOCKED2 &i->lock

drivers/tty/serial/liteuart.c liteuart_tx_chars() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->cons 0,4096-ptr_max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->state 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_data->serdev->dev.driver_data->proto_lock->read_count 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.done 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner (-1)
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 port->state->port.client_ops 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_ops->write_wakeup 4096-ptr_max
BUF_SIZE 0 port 616
DATA_SOURCE 0 port $0
CONTAINER 0 -24-392+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &port->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct uart_port)->lock

drivers/tty/serial/altera_jtaguart.c altera_jtaguart_tx_chars() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->cons 0,4096-ptr_max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->state 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_data->serdev->dev.driver_data->proto_lock->read_count 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.done 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner (-1)
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 port->state->port.client_ops 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_ops->write_wakeup 4096-ptr_max
DATA_SOURCE 0 port $0
CONTAINER 0 -24-392+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &port->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct uart_port)->lock

drivers/tty/serial/st-asc.c asc_transmit_chars() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->cons 0,4096-ptr_max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->state 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_data->serdev->dev.driver_data->proto_lock->read_count 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.done 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner (-1)
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 port->state->port.client_ops 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_ops->write_wakeup 4096-ptr_max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
DATA_SOURCE 0 port $0
CONTAINER 0 -24-392+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &port->lock
HALF_LOCKED2 _T->lock

drivers/tty/serial/vt8500_serial.c handle_tx() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->state 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_data->serdev->dev.driver_data->proto_lock->read_count 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.done 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner (-1)
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 port->state->port.client_ops 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_ops->write_wakeup 4096-ptr_max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
DATA_SOURCE 0 port $0
CONTAINER 0 -24-392+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
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 &port->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/tty/serial/lpc32xx_hs.c __serial_lpc32xx_tx() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->state 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_data->serdev->dev.driver_data->proto_lock->read_count 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.done 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner (-1)
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 port->state->port.client_ops 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_ops->write_wakeup 4096-ptr_max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
DATA_SOURCE 0 port $0
CONTAINER 0 -24-392+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
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 &port->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/tty/serial/ma35d1_serial.c transmit_chars() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->hw_stopped 0
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->state 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_data->serdev->dev.driver_data->proto_lock->read_count 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.done 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner (-1)
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 port->state->port.client_ops 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_ops->write_wakeup 4096-ptr_max
BUF_SIZE 0 port 616
CONTAINER 0 -24-392+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/tty/serial/mps2-uart.c mps2_uart_tx_chars() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->state 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_data->serdev->dev.driver_data->proto_lock->read_count 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.done 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner (-1)
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 port->state->port.client_ops 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_ops->write_wakeup 4096-ptr_max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
DATA_SOURCE 0 port $0
CONTAINER 0 -24-392+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
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 &port->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/tty/serial/rp2.c rp2_tx_chars() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->cons 0,4096-ptr_max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->state 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_data->serdev->dev.driver_data->proto_lock->read_count 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.done 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner (-1)
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 port->state->port.client_ops 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_ops->write_wakeup 4096-ptr_max
BUF_SIZE 0 port 616
CONTAINER 0 -24-392+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &up->port.lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct uart_port)->lock

drivers/tty/serial/8250/8250_pci1xxxx.c pci1xxxx_tx_burst() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 6701026853346709504
PARAM_VALUE 0 port->hw_stopped 0
PARAM_VALUE 0 port->icount 0-s32max
PARAM_VALUE 0 port->iso7816 0-4294967295
PARAM_VALUE 0 port->lock s32min-s32max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->rs485 0-4294967295
PARAM_VALUE 0 port->rs485_supported 0-4294967295
PARAM_VALUE 0 port->state 4096-ptr_max
PARAM_VALUE 0 port->state->port.tty 0,4096-ptr_max
PARAM_VALUE 0 port->x_char 0
BUF_SIZE 0 port (-1),616
BUF_SIZE 0 port (-1),616
DATA_SOURCE 0 port $0
CONTAINER 0 -24-392+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &port->lock
HALF_LOCKED2 &i->lock
TYPE_LOCK (struct uart_port)->lock

drivers/tty/serial/8250/8250_pci1xxxx.c pci1xxxx_tx_burst() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 6701026853346709504
PARAM_VALUE 0 port->hw_stopped 0
PARAM_VALUE 0 port->icount 0-s32max
PARAM_VALUE 0 port->iso7816 0-4294967295
PARAM_VALUE 0 port->lock s32min-s32max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->rs485 0-4294967295
PARAM_VALUE 0 port->rs485_supported 0-4294967295
PARAM_VALUE 0 port->state 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_ops->write_wakeup 0,4096-ptr_max
PARAM_VALUE 0 port->state->port.tty 0,4096-ptr_max
PARAM_VALUE 0 port->x_char 0
BUF_SIZE 0 port (-1),616
BUF_SIZE 0 port (-1),616
DATA_SOURCE 0 port $0
CONTAINER 0 -24-392+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &port->lock
HALF_LOCKED2 &i->lock
TYPE_LOCK (struct uart_port)->lock

drivers/tty/serial/mvebu-uart.c mvebu_uart_tx_chars() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->state 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_data->serdev->dev.driver_data->proto_lock->read_count 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.done 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner (-1)
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 port->state->port.client_ops 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_ops->write_wakeup 4096-ptr_max
DATA_SOURCE 0 port $0
CONTAINER 0 -24-392+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/tty/serial/sifive.c __ssp_transmit_chars() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->cons 0,4096-ptr_max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->state 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_data->serdev->dev.driver_data->proto_lock->read_count 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.done 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner (-1)
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 port->state->port.client_ops 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_ops->write_wakeup 4096-ptr_max
PARAM_VALUE 0 port->x_char 0
BUF_SIZE 0 port 616
CONTAINER 0 -24-392+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ssp->port.lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct uart_port)->lock

drivers/tty/serial/qcom_geni_serial.c qcom_geni_serial_stop_tx() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->ops 4096-ptr_max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
DATA_SOURCE 0 port $0
CONTAINER 0 -24-392+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq
HALF_LOCKED2 0 &port->lock

drivers/tty/serial/fsl_lpuart.c lpuart_transmit_buffer() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->state 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_data->serdev->dev.driver_data->proto_lock->read_count 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.done 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner (-1)
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 port->state->port.client_ops 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_ops->write_wakeup 4096-ptr_max
BUF_SIZE 0 port 616
CONTAINER 0 -24-392+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sport->port.lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags

drivers/tty/serial/owl-uart.c owl_uart_send_chars() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->cons 0,4096-ptr_max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->state 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_data->serdev->dev.driver_data->proto_lock->read_count 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.done 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner (-1)
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 port->state->port.client_ops 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_ops->write_wakeup 4096-ptr_max
DATA_SOURCE 0 port $0
CONTAINER 0 -24-392+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &port->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct uart_port)->lock

drivers/tty/serial/omap-serial.c transmit_chars() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->cons 0,4096-ptr_max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->state 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_data->serdev->dev.driver_data->proto_lock->read_count 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.done 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner (-1)
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 port->state->port.client_ops 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_ops->write_wakeup 4096-ptr_max
BUF_SIZE 0 port 616
CONTAINER 0 -24-392+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 port->sysrq_ch 1-255
LOCK2 &up->port.lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct uart_port)->lock

drivers/tty/serial/atmel_serial.c atmel_tx_chars() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->cons 0,4096-ptr_max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->state 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_data->serdev->dev.driver_data->proto_lock->read_count 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.done 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner (-1)
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 port->state->port.client_ops 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_ops->write_wakeup 4096-ptr_max
BUF_SIZE 0 port 616
DATA_SOURCE 0 port $0
CONTAINER 0 -24-392+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &port->lock
HALF_LOCKED2 bh
TYPE_LOCK (struct uart_port)->lock

drivers/tty/serial/tegra-utc.c tegra_utc_tx_chars() -> (struct uart_ops)->stop_tx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->state 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_data->serdev->dev.driver_data->proto_lock->read_count 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.done 0-4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner (-1)
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 port->state->port.client_data->serdev->write_comp.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 port->state->port.client_ops 4096-ptr_max
PARAM_VALUE 0 port->state->port.client_ops->write_wakeup 4096-ptr_max
BUF_SIZE 0 port 616
CONTAINER 0 -24-392+0 $(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &tup->port.lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/tty/serial/sh-sci.c sci_shutdown() -> (struct uart_ops)->stop_rx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->cons 0,4096-ptr_max
PARAM_VALUE 0 port->ops 4096-ptr_max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
DATA_SOURCE 0 port $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
LOCK2 flags
LOCK2 0 &port->lock
TYPE_LOCK (struct uart_port)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->cons 4096-ptr_max
PARAM_VALUE 0 port->line 0-s16max,4294934528-u32max
PARAM_VALUE 0 port->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->ops->start_rx 5873542877940285440,6784844264478343168
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
CAPPED_DATA 0 port->cons->index 1
CAPPED_DATA 0 port->line 1
DATA_SOURCE 0 port $1
CONTAINER 0 -64-392+0 $(-1)
PARAM_COMPARE 0 port->cons->index == $0->line
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
LOCK2 irq
LOCK2 0 &port->lock
TYPE_LOCK (struct uart_port)->lock

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

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
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
LOCK2 irq
LOCK2 0 &port->lock
TYPE_LOCK (struct uart_port)->lock

drivers/tty/serial/serial_core.c uart_tty_port_shutdown() -> (struct uart_ops)->stop_rx()

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->ops 4096-ptr_max
CONTAINER 0 -64-392+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
LOCK2 irq
LOCK2 0 &port->lock
HALF_LOCKED2 &tty->legacy_mutex
TYPE_LOCK (struct tty_struct)->legacy_mutex
TYPE_LOCK (struct uart_port)->lock

drivers/tty/serial/8250/8250_omap.c omap8250_irq() -> (struct uart_ops)->stop_rx()

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->ops 4096-ptr_max
PARAM_VALUE 0 port->serial_in 4096-ptr_max
BUF_SIZE 0 port 616
CONTAINER 0 -64-392+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &port->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags
TYPE_LOCK (struct uart_port)->lock

drivers/tty/serial/8250/8250_omap.c omap_8250_throttle() -> (struct uart_ops)->stop_rx()

Type Parameter Key Value
PARAM_VALUE 0 port 7575572655255031808
PARAM_VALUE 0 port->attr_group 0-u32max
PARAM_VALUE 0 port->break_ctl 0
PARAM_VALUE 0 port->cons 0,4096-ptr_max
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-255,4096-ptr_max
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-u32max
PARAM_VALUE 0 port->handle_irq 0,3558501460531986432
PARAM_VALUE 0 port->has_sysrq 0-1
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)-s32max
PARAM_VALUE 0 port->irq 0-s32max
PARAM_VALUE 0 port->irqflags 0-u32max
PARAM_VALUE 0 port->iso7816 0
PARAM_VALUE 0 port->iso7816_config 0
PARAM_VALUE 0 port->lock s32min-s32max
PARAM_VALUE 0 port->mctrl 0
PARAM_VALUE 0 port->minor 0
PARAM_VALUE 0 port->name 0-u32max
PARAM_VALUE 0 port->pm 0,3097048222948036608
PARAM_VALUE 0 port->port_dev 0
PARAM_VALUE 0 port->port_id 0-s32max
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_rx_during_tx_gpio 0-u32max
PARAM_VALUE 0 port->rs485_supported 0
PARAM_VALUE 0 port->rs485_term_gpio 0-u32max
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,7853019881921994752
PARAM_VALUE 0 port->set_rxtrig 0
PARAM_VALUE 0 port->set_termios 0,6774820303708647424
PARAM_VALUE 0 port->shutdown 0,6441669308069269504
PARAM_VALUE 0 port->startup 0,6957491706276282368
PARAM_VALUE 0 port->state 0-u32max
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,3895974816910114816
PARAM_VALUE 0 port->tty_groups 0
PARAM_VALUE 0 port->type 0-1
PARAM_VALUE 0 port->unthrottle 0,3317074099964370944
PARAM_VALUE 0 port->x_char 0
DATA_SOURCE 0 port $0
CONTAINER 0 -64-392+0 $(-1)
NOCHECK_CALL
LOCK2 &_T->lock->lock
LOCK2 _T->flags
LOCK2 _T->lock
HALF_LOCKED2 &tty->ldisc_sem
HALF_LOCKED2 &tty->port->buf.lock

drivers/tty/serial/8250/8250_fsl.c fsl8250_handle_irq() -> (struct uart_ops)->stop_rx()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->serial_in 4096-ptr_max
BUF_SIZE 0 port (-1),616
BUF_SIZE 0 port (-1),616
DATA_SOURCE 0 port $0
CONTAINER 0 -64-392+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &up->port.lock
LOCK2 flags
HALF_LOCKED2 &i->lock
TYPE_LOCK (struct uart_port)->lock

drivers/tty/serial/8250/8250_mxpcie.c mxpcie8250_throttle() -> (struct uart_ops)->stop_rx()

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->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->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 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,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
DATA_SOURCE 0 port $0
CONTAINER 0 -64-392+0 $(-1)
NOCHECK_CALL
LOCK2 &_T->lock->lock
LOCK2 _T->flags
LOCK2 _T->lock
HALF_LOCKED2 &tty->ldisc_sem
HALF_LOCKED2 &tty->port->buf.lock

drivers/tty/serial/qcom_geni_serial.c qcom_geni_serial_stop_rx() -> (struct uart_ops)->stop_rx()

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,4096-ptr_max
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->ops->stop_tx 0,4096-ptr_max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
DATA_SOURCE 0 port $0
CONTAINER 0 -64-392+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq
HALF_LOCKED2 0 &port->lock

drivers/tty/serial/serial_core.c serial_core_remove_one_port() -> (struct uart_ops)->release_port()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->cons 0,4096-ptr_max
PARAM_VALUE 0 port->flags 0,1073741824-u64max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->ops->release_port 4096-ptr_max
PARAM_VALUE 0 port->port_dev 4096-ptr_max
PARAM_VALUE 0 port->type 1-u32max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port->ops (-1),216
CAPPED_DATA 0 port 1
CAPPED_DATA 0 port->cons 1
DATA_SOURCE 0 port $1
CONTAINER 0 -152-392+0 $(-1)
BIT_INFO 0 port->flags 0x40000000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 global &max3100s_lock

drivers/tty/serial/serial_core.c uart_change_port() -> (struct uart_ops)->release_port()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->cons 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->iommu_group->default_domain 0-s64max
PARAM_VALUE 0 port->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 port->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->ops->release_port 4096-ptr_max
PARAM_VALUE 0 port->ops->verify_port 0,4096-ptr_max
PARAM_VALUE 0 port->port_dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 port->port_dev->tx_enabled 0
PARAM_VALUE 0 port->type 1-u32max
DATA_SOURCE 0 port $0
CAPABLE 0 21
CONTAINER 0 -152-392+0 $(-1)
BIT_INFO 0 port->flags 0x0,0xffffffffdfffffff
NOCHECK_CALL
LOCK2 _T->lock

drivers/tty/serial/serial_core.c uart_do_autoconfig() -> (struct uart_ops)->release_port()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->cons 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->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->ops->release_port 4096-ptr_max
PARAM_VALUE 0 port->port_dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 port->port_dev->tx_enabled 0
PARAM_VALUE 0 port->type 1-u32max
CAPABLE 0 21
CONTAINER 0 -152-392+0 $(-1)
NOCHECK_CALL
LOCK2 _T->lock

drivers/tty/serial/8250/8250_rsa.c univ8250_release_port() -> (struct uart_ops)->release_port()

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->release_port 0,4096-ptr_max
PARAM_VALUE 0 port->ops->request_port 0,4096-ptr_max
PARAM_VALUE 0 port->ops->verify_port 0,4096-ptr_max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port->dev (-1),1616
BUF_SIZE 0 port->ops (-1),216
CAPPED_DATA 0 port 1
DATA_SOURCE 0 port $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 port->hub6 0-255
USER_DATA 0 port->iobase 0-u64max[c]
USER_DATA 0 port->iotype 0-255
USER_DATA 0 port->regshift 0-255
NO_OVERFLOW_SIMPLE 0 port->cons->kthread->dl.dl_runtime
NO_OVERFLOW_SIMPLE 0 port->cons->kthread->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 port->dev->cma_area->available_count
NO_OVERFLOW_SIMPLE 0 port->fifosize
NO_OVERFLOW_SIMPLE 0 port->mapsize
NO_OVERFLOW_SIMPLE 0 port->port_dev->dev.dma_range_map
NO_OVERFLOW_SIMPLE 0 port->port_dev->dev.p->deferred_probe_reason
HALF_LOCKED2 _T->lock

drivers/tty/serial/8250/8250_rsa.c univ8250_request_port() -> (struct uart_ops)->release_port()

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->release_port 0,4096-ptr_max
PARAM_VALUE 0 port->ops->request_port 0,4096-ptr_max
PARAM_VALUE 0 port->ops->verify_port 0,4096-ptr_max
PARAM_VALUE 0 port->port_dev->tx_enabled 0-1
PARAM_VALUE 0 port->type 13
CAPPED_DATA 0 port->dev->cma_area->nranges 1
DATA_SOURCE 0 port $0
NOCHECK_CALL
USER_DATA 0 port->hub6 0-255
USER_DATA 0 port->iobase 0-u64max[c]
USER_DATA 0 port->iotype 0-255
USER_DATA 0 port->regshift 0-255
NO_OVERFLOW_SIMPLE 0 port->dev->cma_area->available_count
NO_OVERFLOW_SIMPLE 0 port->fifosize
NO_OVERFLOW_SIMPLE 0 port->mapsize
HALF_LOCKED2 _T->lock