Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/serial/sh-sci.c sci_dma_rx_complete() -> sci_dma_rx_push()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->port.cons 0,4096-ptr_max
PARAM_VALUE 0 s->rx_buf 4096-ptr_max
BUF_SIZE 0 s s32min-(-2),1-s32max
BUF_SIZE 0 s s32min-(-2),1-s32max
BUF_SIZE 1 buf s32min,64-s32max
CAPPED_DATA 0 s->active_rx 1
CAPPED_DATA 0 s->rx_timer.base 1
CAPPED_DATA 0 &s->rx_timer 1
DATA_SOURCE 0 s $0
PARAM_COMPARE 0 &s->rx_timer != $0->rx_timer.base->running
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 0 s unit_byte
LOCK2 &port->lock
LOCK2 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
TYPE_LOCK (struct uart_port)->lock

drivers/tty/serial/sh-sci.c sci_dma_rx_timer_fn() -> sci_dma_rx_push()

Type Parameter Key Value
PARAM_VALUE 0 s 4096-ptr_max
PARAM_VALUE 0 s->chan_rx 4096-ptr_max
PARAM_VALUE 0 s->chan_rx->device 4096-ptr_max
PARAM_VALUE 0 s->chan_rx->device->device_tx_status 4096-ptr_max
PARAM_VALUE 0 s->port.cons 0,4096-ptr_max
PARAM_VALUE 0 s->rx_buf 4096-ptr_max
PARAM_VALUE 0 s->sg_rx 4096-ptr_max
PARAM_VALUE 2 count 1-u32max
BUF_SIZE 1 buf s32min,64-s32max
CAPPED_DATA 0 s->active_rx 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
UNITS 2 count unit_byte
LOCK2 &port->lock
LOCK2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct uart_port)->lock