Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/serial/8250/8250_dw.c dw8250_serial_out38x() -> dw8250_tx_wait_empty()

Type Parameter Key Value
PARAM_VALUE 0 p 2803218358845616128
PARAM_VALUE 0 p->attr_group 0-u32max
PARAM_VALUE 0 p->break_ctl 0
PARAM_VALUE 0 p->cons->rcuwait.task->sched_class->uclamp_enabled 0-1
PARAM_VALUE 0 p->console_reinit 0
PARAM_VALUE 0 p->ctrl_id 0
PARAM_VALUE 0 p->custom_divisor 0
PARAM_VALUE 0 p->dev 0-255,4096-ptr_max
PARAM_VALUE 0 p->dev->cma_area->available_count 0-s64max
PARAM_VALUE 0 p->dev->cma_area->nranges s32min-s32max
PARAM_VALUE 0 p->dev->dma_io_tlb_mem->for_alloc 0-1
PARAM_VALUE 0 p->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 p->get_divisor 0,4265723444479614976
PARAM_VALUE 0 p->get_mctrl 0
PARAM_VALUE 0 p->get_rxtrig 0
PARAM_VALUE 0 p->handle_break 0-u32max
PARAM_VALUE 0 p->handle_irq 0,8244471458444804096
PARAM_VALUE 0 p->has_sysrq 0
PARAM_VALUE 0 p->hub6 0
PARAM_VALUE 0 p->hw_stopped 0
PARAM_VALUE 0 p->icount 0
PARAM_VALUE 0 p->ignore_status_mask 0,256-257,268-269,272-275,284-287
PARAM_VALUE 0 p->iobase 0
PARAM_VALUE 0 p->iotype (-1)-s32max
PARAM_VALUE 0 p->irq 0-s32max
PARAM_VALUE 0 p->irqflags 0-u32max
PARAM_VALUE 0 p->iso7816 0
PARAM_VALUE 0 p->iso7816_config 0
PARAM_VALUE 0 p->lock s32min-s32max
PARAM_VALUE 0 p->minor 0
PARAM_VALUE 0 p->name 0-u32max
PARAM_VALUE 0 p->ops 0
PARAM_VALUE 0 p->ops->break_ctl 0,4096-ptr_max
PARAM_VALUE 0 p->ops->config_port 0,4096-ptr_max
PARAM_VALUE 0 p->ops->enable_ms 0,4096-ptr_max
PARAM_VALUE 0 p->ops->flush_buffer 0,4096-ptr_max
PARAM_VALUE 0 p->ops->get_mctrl 0,4096-ptr_max
PARAM_VALUE 0 p->ops->ioctl 0
PARAM_VALUE 0 p->ops->pm 0,4096-ptr_max
PARAM_VALUE 0 p->ops->poll_get_char 0,4096-ptr_max
PARAM_VALUE 0 p->ops->poll_init 0,4096-ptr_max
PARAM_VALUE 0 p->ops->poll_put_char 0,4096-ptr_max
PARAM_VALUE 0 p->ops->release_port 0,4096-ptr_max
PARAM_VALUE 0 p->ops->request_port 0,4096-ptr_max
PARAM_VALUE 0 p->ops->send_xchar 0,4096-ptr_max
PARAM_VALUE 0 p->ops->set_ldisc 0,4096-ptr_max
PARAM_VALUE 0 p->ops->set_mctrl 0,4096-ptr_max
PARAM_VALUE 0 p->ops->set_termios 0,4096-ptr_max
PARAM_VALUE 0 p->ops->shutdown 0,4096-ptr_max
PARAM_VALUE 0 p->ops->start_rx 0,4096-ptr_max
PARAM_VALUE 0 p->ops->start_tx 0,4096-ptr_max
PARAM_VALUE 0 p->ops->startup 0,4096-ptr_max
PARAM_VALUE 0 p->ops->stop_rx 0,4096-ptr_max
PARAM_VALUE 0 p->ops->stop_tx 0,4096-ptr_max
PARAM_VALUE 0 p->ops->throttle 0,4096-ptr_max
PARAM_VALUE 0 p->ops->tx_empty 0,4096-ptr_max
PARAM_VALUE 0 p->ops->type 0,4096-ptr_max
PARAM_VALUE 0 p->ops->unthrottle 0,4096-ptr_max
PARAM_VALUE 0 p->ops->verify_port 0,4096-ptr_max
PARAM_VALUE 0 p->pm 0,2770102282220523520
PARAM_VALUE 0 p->port_dev 0
PARAM_VALUE 0 p->port_id 0-s32max
PARAM_VALUE 0 p->quirks 0
PARAM_VALUE 0 p->read_status_mask 0,259,271,275,287
PARAM_VALUE 0 p->rs485 0
PARAM_VALUE 0 p->rs485_rx_during_tx_gpio 0-u32max
PARAM_VALUE 0 p->rs485_supported 0
PARAM_VALUE 0 p->rs485_term_gpio 0-u32max
PARAM_VALUE 0 p->serial_in 0,4096-ptr_max
PARAM_VALUE 0 p->serial_out 0,4259017607023443968,5102965566000500736,6997864409700216832,7064709147901652992,8207901887618170880
PARAM_VALUE 0 p->set_divisor 0,574089727225958400,8390153535830097920
PARAM_VALUE 0 p->set_ldisc 0,7300308295093010432
PARAM_VALUE 0 p->set_mctrl 0
PARAM_VALUE 0 p->set_rxtrig 0
PARAM_VALUE 0 p->set_termios 0,6657532561596420096,7587422099711418368
PARAM_VALUE 0 p->shutdown 0,8800662400495300608
PARAM_VALUE 0 p->startup 0
PARAM_VALUE 0 p->state 0-u32max
PARAM_VALUE 0 p->suspended 0
PARAM_VALUE 0 p->sysrq 0
PARAM_VALUE 0 p->sysrq_ch 0
PARAM_VALUE 0 p->sysrq_seq 0
PARAM_VALUE 0 p->throttle 0
PARAM_VALUE 0 p->tty_groups 0
PARAM_VALUE 0 p->type 0-1,4,17
PARAM_VALUE 0 p->unthrottle 0
PARAM_VALUE 0 p->x_char 0
BUF_SIZE 0 p s32min-(-1),1-s32max
BUF_SIZE 0 p s32min-(-1),1-s32max
BUF_SIZE 0 p->dev (-1),1616
BUF_SIZE 0 p->name (-1)-s32max
BUF_SIZE 0 p->ops (-1),216
BUF_SIZE 0 p->private_data (-1),1-s32max
BUF_SIZE 0 p->uartclk (-1),9
DATA_SOURCE 0 p $0
STR_LEN 0 p (-1),1,7
STR_LEN 0 p (-1),1,7
STR_LEN 0 p->cons (-1)
NOSPEC 0 p->cons->index
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 p->cons->cflag s32min-s32max
HOST_DATA 0 p->cons->dropped 0
HOST_DATA 0 p->cons->irq_work.node.a_flags.counter 0-s32max
HOST_DATA 0 p->cons->irq_work.node.dst 0-u16max
HOST_DATA 0 p->cons->irq_work.node.src 0-u16max
HOST_DATA 0 p->cons->irq_work.node.u_flags 0-s32max
HOST_DATA 0 p->cons->ispeed 0-u32max
HOST_DATA 0 p->cons->nbcon_device_ctxt.allow_unsafe_takeover 0
HOST_DATA 0 p->cons->nbcon_device_ctxt.backlog 0
HOST_DATA 0 p->cons->nbcon_device_ctxt.prio 0
HOST_DATA 0 p->cons->nbcon_device_ctxt.seq 0
HOST_DATA 0 p->cons->nbcon_device_ctxt.spinwait_max_us 0
HOST_DATA 0 p->cons->nbcon_prev_seq.counter (-1)-0
HOST_DATA 0 p->cons->nbcon_seq.counter s64min-s64max
HOST_DATA 0 p->cons->nbcon_state.counter 0
HOST_DATA 0 p->cons->ospeed 0-u32max
HOST_DATA 0 p->cons->seq 0-u64max
HOST_DATA 0 p->cons_flow 0-1
HOST_DATA 0 p->console_reinit 0
HOST_DATA 0 p->ctrl_id 0
HOST_DATA 0 p->custom_divisor 0
HOST_DATA 0 p->fifosize 0-u32max
HOST_DATA 0 p->flags 0-u64max
HOST_DATA 0 p->frame_time 0-u32max
HOST_DATA 0 p->has_sysrq 0
HOST_DATA 0 p->hub6 0
HOST_DATA 0 p->hw_stopped 0
HOST_DATA 0 p->icount.brk 0-u32max
HOST_DATA 0 p->icount.buf_overrun 0-u32max
HOST_DATA 0 p->icount.cts 0-u32max
HOST_DATA 0 p->icount.dcd 0-u32max
HOST_DATA 0 p->icount.dsr 0-u32max
HOST_DATA 0 p->icount.frame 0-u32max
HOST_DATA 0 p->icount.overrun 0-u32max
HOST_DATA 0 p->icount.parity 0-u32max
HOST_DATA 0 p->icount.rng 0-u32max
HOST_DATA 0 p->icount.rx 0-u32max
HOST_DATA 0 p->icount.tx 0-u32max
HOST_DATA 0 p->ignore_status_mask 0,256-257,268-269,272-275,284-287
HOST_DATA 0 p->iobase 0
HOST_DATA 0 p->iotype (-1)-s32max
HOST_DATA 0 p->irq 0-s32max
HOST_DATA 0 p->irqflags 0-u32max
HOST_DATA 0 p->iso7816.clk 0-u32max
HOST_DATA 0 p->iso7816.flags 0-u32max
HOST_DATA 0 p->iso7816.sc_di 0-u32max
HOST_DATA 0 p->iso7816.sc_fi 0-u32max
HOST_DATA 0 p->iso7816.tg 0-u32max
HOST_DATA 0 p->line 0-u32max
HOST_DATA 0 p->mapbase 0-u64max
HOST_DATA 0 p->mapsize 0-u64max
HOST_DATA 0 p->mctrl 0-u32max
HOST_DATA 0 p->minor 0
HOST_DATA 0 p->port_id 0-s32max
HOST_DATA 0 p->quirks 0
HOST_DATA 0 p->read_status_mask 0,259,271,275,287
HOST_DATA 0 p->regshift 0-255
HOST_DATA 0 p->rs485.addr_dest 0-255
HOST_DATA 0 p->rs485.addr_recv 0-255
HOST_DATA 0 p->rs485.delay_rts_after_send 0-u32max
HOST_DATA 0 p->rs485.delay_rts_before_send 0-u32max
HOST_DATA 0 p->rs485.flags 0-u32max
HOST_DATA 0 p->rs485_supported.addr_dest 0-255
HOST_DATA 0 p->rs485_supported.addr_recv 0-255
HOST_DATA 0 p->rs485_supported.delay_rts_after_send 0-u32max
HOST_DATA 0 p->rs485_supported.delay_rts_before_send 0-u32max
HOST_DATA 0 p->rs485_supported.flags 0-u32max
HOST_DATA 0 p->status 0-u32max
HOST_DATA 0 p->suspended 0
HOST_DATA 0 p->sysrq 0
HOST_DATA 0 p->sysrq_ch 0
HOST_DATA 0 p->sysrq_seq 0
HOST_DATA 0 p->type 0-1,4,17
HOST_DATA 0 p->uartclk 0-u32max
HOST_DATA 0 p->x_char 0
USER_DATA 0 p->cons->index 0-3[c]
USER_DATA 0 p->frame_time 1-u32max[c]
NO_OVERFLOW_SIMPLE 0 p->cons->kthread->dl.dl_runtime
NO_OVERFLOW_SIMPLE 0 p->cons->pbufs
NO_OVERFLOW_SIMPLE 0 p->dev->cma_area->available_count
NO_OVERFLOW_SIMPLE 0 p->dev->p->deferred_probe_reason
NO_OVERFLOW_SIMPLE 0 p->icount.tx
NO_OVERFLOW_SIMPLE 0 p->iobase
NO_OVERFLOW_SIMPLE 0 p->mapbase
NO_OVERFLOW_SIMPLE 0 p->mapsize
NO_OVERFLOW_SIMPLE 0 p->port_dev->dev.p->deferred_probe_reason
NO_OVERFLOW_SIMPLE 0 p->port_dev->dev.physical_location
HALF_LOCKED2 0 &p->lock