Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/serial/fsl_linflexuart.c linflex_start_tx() -> linflex_transmit_buffer()

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

drivers/tty/serial/fsl_linflexuart.c linflex_txint() -> linflex_transmit_buffer()

Type Parameter Key Value
PARAM_VALUE 0 sport 4096-ptr_max
PARAM_VALUE 0 sport->cons 0,4096-ptr_max
PARAM_VALUE 0 sport->hw_stopped 0
PARAM_VALUE 0 sport->state 4096-ptr_max
PARAM_VALUE 0 sport->state->port.tty 0,4096-ptr_max
PARAM_VALUE 0 sport->x_char 0
DATA_SOURCE 0 sport $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &sport->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct uart_port)->lock