Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/serial/imx.c __imx_uart_rxint() -> imx_uart_check_flood()

Type Parameter Key Value
PARAM_VALUE 0 sport 4096-ptr_max
DATA_SOURCE 0 sport $1
DATA_SOURCE 1 usr2 r imx_uart_readl
BIT_INFO 1 usr2 0x1,0xffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 usr2 0-u32max
LOCK2 &sport->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/imx.c imx_uart_dma_rx_callback() -> imx_uart_check_flood()

Type Parameter Key Value
PARAM_VALUE 0 sport 4096-ptr_max
PARAM_VALUE 0 sport->dma_chan_rx 4096-ptr_max
PARAM_VALUE 0 sport->dma_chan_rx->device 4096-ptr_max
PARAM_VALUE 0 sport->dma_chan_rx->device->device_tx_status 4096-ptr_max
PARAM_VALUE 0 sport->port.cons 0,4096-ptr_max
PARAM_VALUE 0 sport->port.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sport->rx_ring.head (-2147483647)-s32max
PARAM_VALUE 0 sport->rx_ring.tail s32min-2147483646
BUF_SIZE 0 sport s32min-(-2),1-s32max
BUF_SIZE 0 sport s32min-(-2),1-s32max
DATA_SOURCE 0 sport $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 usr2 0-u32max
UNITS 0 sport unit_byte
LOCK2 0 &sport->port.lock
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