Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/serial/8250/8250_port.c __stop_tx() -> __stop_tx_rs485()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->em485 1-u64max
PARAM_VALUE 0 p->port.dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 p->port.serial_in 4096-ptr_max
PARAM_VALUE 1 stop_delay 0-u32max
DATA_SOURCE 0 p $0
FUZZY_MAX 1 stop_delay 0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 p->acr 0-255
HOST_DATA 0 p->bugs 0-u16max
HOST_DATA 0 p->canary 0-255
HOST_DATA 0 p->capabilities 0-u32max
HOST_DATA 0 p->console_line_ended 0-1
HOST_DATA 0 p->console_msr_work.node.a_flags.counter s32min-s32max
HOST_DATA 0 p->console_msr_work.node.dst 0-u16max
HOST_DATA 0 p->console_msr_work.node.src 0-u16max
HOST_DATA 0 p->console_msr_work.node.u_flags 0-u32max
HOST_DATA 0 p->console_msr_work_allow 0-1
HOST_DATA 0 p->cur_iotype 0-255
HOST_DATA 0 p->fcr 0-255
HOST_DATA 0 p->ier 8-255
HOST_DATA 0 p->lcr 0-255
HOST_DATA 0 p->lsr_save_mask 0-u16max
HOST_DATA 0 p->lsr_saved_flags 0-u16max
HOST_DATA 0 p->mcr 0-255
HOST_DATA 0 p->overrun_backoff.cpu s32min-s32max
HOST_DATA 0 p->overrun_backoff.timer.expires 0-u64max
HOST_DATA 0 p->overrun_backoff.timer.flags 0-u32max
HOST_DATA 0 p->overrun_backoff_time_ms 1-u32max
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
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.state->port.buf.tail->next->size 0,256-u32max[c]
HOST_DATA 0 p->port.state->port.buf.tail->size 0,256-u32max[c]
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
HOST_DATA 0 p->probe 0-255
HOST_DATA 0 p->rpm_tx_active 0-u32max
HOST_DATA 0 p->timer.expires 0-u64max
HOST_DATA 0 p->timer.flags 0-u32max
HOST_DATA 0 p->tx_loadsz 0-u32max
HALF_LOCKED2 0 &p->port.lock