Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/serial/men_z135_uart.c men_z135_handle_rx() -> get_rx_fifo_content()

Type Parameter Key Value
PARAM_VALUE 0 uart 4096-ptr_max
PARAM_VALUE 0 uart->port.cons 0,4096-ptr_max
PARAM_VALUE 0 uart->port.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 uart->port.membase 0-ptr_max
DATA_SOURCE 0 uart $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 uart->automode 0-1
HOST_DATA 0 uart->port.cons_flow 0-1
HOST_DATA 0 uart->port.console_reinit 0-255
HOST_DATA 0 uart->port.ctrl_id 0-u32max
HOST_DATA 0 uart->port.custom_divisor 0-u32max
HOST_DATA 0 uart->port.fifosize 0-u32max
HOST_DATA 0 uart->port.flags 0-u64max
HOST_DATA 0 uart->port.frame_time 0-u32max
HOST_DATA 0 uart->port.has_sysrq 0-255
HOST_DATA 0 uart->port.hub6 0-255
HOST_DATA 0 uart->port.hw_stopped 0-1
HOST_DATA 0 uart->port.icount.brk 0-u32max
HOST_DATA 0 uart->port.icount.buf_overrun 0-u32max
HOST_DATA 0 uart->port.icount.cts 0-u32max
HOST_DATA 0 uart->port.icount.dcd 0-u32max
HOST_DATA 0 uart->port.icount.dsr 0-u32max
HOST_DATA 0 uart->port.icount.frame 0-u32max
HOST_DATA 0 uart->port.icount.overrun 0-u32max
HOST_DATA 0 uart->port.icount.parity 0-u32max
HOST_DATA 0 uart->port.icount.rng 0-u32max
HOST_DATA 0 uart->port.icount.rx 0-u32max
HOST_DATA 0 uart->port.icount.tx 0-u32max
HOST_DATA 0 uart->port.ignore_status_mask 0-u32max
HOST_DATA 0 uart->port.iobase 0-u64max
HOST_DATA 0 uart->port.iotype s32min-s32max
HOST_DATA 0 uart->port.irq 0-u32max
HOST_DATA 0 uart->port.irqflags 0-u64max
HOST_DATA 0 uart->port.iso7816.clk 0-u32max
HOST_DATA 0 uart->port.iso7816.flags 0-u32max
HOST_DATA 0 uart->port.iso7816.sc_di 0-u32max
HOST_DATA 0 uart->port.iso7816.sc_fi 0-u32max
HOST_DATA 0 uart->port.iso7816.tg 0-u32max
HOST_DATA 0 uart->port.line 0-u32max
HOST_DATA 0 uart->port.mapbase 0-u64max
HOST_DATA 0 uart->port.mapsize 0-u64max
HOST_DATA 0 uart->port.mctrl 0-u32max
HOST_DATA 0 uart->port.minor 0-u32max
HOST_DATA 0 uart->port.port_id 0-u32max
HOST_DATA 0 uart->port.quirks 0-255
HOST_DATA 0 uart->port.read_status_mask 0-u32max
HOST_DATA 0 uart->port.regshift 0-255
HOST_DATA 0 uart->port.rs485.addr_dest 0-255
HOST_DATA 0 uart->port.rs485.addr_recv 0-255
HOST_DATA 0 uart->port.rs485.delay_rts_after_send 0-u32max
HOST_DATA 0 uart->port.rs485.delay_rts_before_send 0-u32max
HOST_DATA 0 uart->port.rs485.flags 0-u32max
HOST_DATA 0 uart->port.rs485_supported.addr_dest 0-255
HOST_DATA 0 uart->port.rs485_supported.addr_recv 0-255
HOST_DATA 0 uart->port.rs485_supported.delay_rts_after_send 0-u32max
HOST_DATA 0 uart->port.rs485_supported.delay_rts_before_send 0-u32max
HOST_DATA 0 uart->port.rs485_supported.flags 0-u32max
HOST_DATA 0 uart->port.status 0-u32max
HOST_DATA 0 uart->port.suspended 0-255
HOST_DATA 0 uart->port.sysrq 0-u64max
HOST_DATA 0 uart->port.sysrq_ch 0-255
HOST_DATA 0 uart->port.sysrq_seq 0-255
HOST_DATA 0 uart->port.type 0-u32max
HOST_DATA 0 uart->port.uartclk 0-u32max
HOST_DATA 0 uart->port.x_char 0-255
HOST_DATA 0 uart->stat_reg 0-u32max
LOCK2 &port->lock
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct uart_port)->lock