Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/serial/8250/8250_omap.c omap_8250_dma_handle_irq() -> omap_8250_tx_dma()

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 1-255
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
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
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-1
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.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-255
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_omap.c omap_8250_dma_tx_complete() -> omap_8250_tx_dma()

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_running 0
PARAM_VALUE 0 p->dma->txchan 4096-ptr_max
PARAM_VALUE 0 p->dma->txchan->device 4096-ptr_max
PARAM_VALUE 0 p->dma->txchan->device->dev->flags 4096-ptr_max
PARAM_VALUE 0 p->port.cons 0,4096-ptr_max
PARAM_VALUE 0 p->port.hw_stopped 0
PARAM_VALUE 0 p->port.private_data 4096-ptr_max
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.state->port.tty->flow.stopped 0
BUF_SIZE 0 p s32min-(-2),1-s32max
BUF_SIZE 0 p s32min-(-2),1-s32max
DATA_SOURCE 0 p $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 p unit_byte
LOCK2 &_T->lock->lock
LOCK2 _T->flags
HALF_LOCKED2 &bdma_chan->lock
HALF_LOCKED2 &ioat_chan->cleanup_lock
HALF_LOCKED2 &mv_chan->lock
HALF_LOCKED2 &pd_chan->lock
HALF_LOCKED2 &plxdev->ring_lock
HALF_LOCKED2 &swdma_chan->complete_lock
HALF_LOCKED2 &td_chan->lock
HALF_LOCKED2 bh

drivers/tty/serial/8250/8250_port.c __start_tx() -> (struct uart_8250_dma)->tx_dma()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->dma 4096-ptr_max
DATA_SOURCE 0 p r up_to_u8250p
CONTAINER 0 -0-800+0 $(-1)
TASK_NOT_RUNNING
HALF_LOCKED2 &_T->lock->lock
HALF_LOCKED2 _T->flags
HALF_LOCKED2 irq