Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/tty/serial/uartlite.c ulite_console_putchar() -> uart_out32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | offset | 4 |
| PARAM_VALUE | 2 | port | 4096-ptr_max |
| BUF_SIZE | 2 | port | (-1),616 |
| BUF_SIZE | 2 | port | (-1),616 |
| DATA_SOURCE | 0 | val | $1 |
| DATA_SOURCE | 2 | port | $0 |
| STR_LEN | 0 | val | (-1),1 |
| STR_LEN | 2 | port | (-1),1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &s->lock | ||
| HALF_LOCKED2 | 2 | &port->lock |
drivers/tty/serial/uartlite.c ulite_console_write() -> uart_out32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | val | 0 |
| PARAM_VALUE | 1 | offset | 12 |
| PARAM_VALUE | 2 | port | 4096-ptr_max |
| PARAM_VALUE | 2 | port->membase | 4096-ptr_max |
| PARAM_VALUE | 2 | port->private_data | 4096-ptr_max |
| PARAM_VALUE | 2 | port->private_data->reg_ops | 4096-ptr_max |
| PARAM_VALUE | 2 | port->private_data->reg_ops->in | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | 2 | &port->lock |
drivers/tty/serial/uartlite.c ulite_console_write() -> uart_out32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | val | 16 |
| PARAM_VALUE | 1 | offset | 12 |
| PARAM_VALUE | 2 | port | 4096-ptr_max |
| PARAM_VALUE | 2 | port->membase | 4096-ptr_max |
| PARAM_VALUE | 2 | port->private_data | 4096-ptr_max |
| PARAM_VALUE | 2 | port->private_data->reg_ops | 4096-ptr_max |
| PARAM_VALUE | 2 | port->private_data->reg_ops->in | 4096-ptr_max |
| PARAM_VALUE | 2 | port->private_data->reg_ops->out | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | 2 | &port->lock |
drivers/tty/serial/uartlite.c ulite_put_poll_char() -> uart_out32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | offset | 4 |
| PARAM_VALUE | 2 | port | 4096-ptr_max |
| PARAM_VALUE | 2 | port->ops | 4096-ptr_max |
| PARAM_VALUE | 2 | port->private_data | 4096-ptr_max |
| PARAM_VALUE | 2 | port->private_data->reg_ops | 4096-ptr_max |
| PARAM_VALUE | 2 | port->private_data->reg_ops->in | 4096-ptr_max |
| DATA_SOURCE | 0 | val | $1 |
| DATA_SOURCE | 2 | port | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | rcu_read |
drivers/tty/serial/uartlite.c ulite_request_port() -> uart_out32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | val | 1 |
| PARAM_VALUE | 1 | offset | 12 |
| PARAM_VALUE | 2 | port | 4096-ptr_max |
| PARAM_VALUE | 2 | port->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 2 | port->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 2 | port->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 2 | port->membase | 4096-ptr_max |
| PARAM_VALUE | 2 | port->ops->break_ctl | 0,4096-ptr_max |
| PARAM_VALUE | 2 | port->ops->config_port | 0,4096-ptr_max |
| PARAM_VALUE | 2 | port->ops->enable_ms | 0,4096-ptr_max |
| PARAM_VALUE | 2 | port->ops->flush_buffer | 0,4096-ptr_max |
| PARAM_VALUE | 2 | port->ops->get_mctrl | 0,4096-ptr_max |
| PARAM_VALUE | 2 | port->ops->ioctl | 0 |
| PARAM_VALUE | 2 | port->ops->pm | 0,4096-ptr_max |
| PARAM_VALUE | 2 | port->ops->poll_get_char | 0,4096-ptr_max |
| PARAM_VALUE | 2 | port->ops->poll_init | 0,4096-ptr_max |
| PARAM_VALUE | 2 | port->ops->poll_put_char | 0,4096-ptr_max |
| PARAM_VALUE | 2 | port->ops->release_port | 0,4096-ptr_max |
| PARAM_VALUE | 2 | port->ops->request_port | 0,4096-ptr_max |
| PARAM_VALUE | 2 | port->ops->send_xchar | 0,625199656327569408,6317227003971317760 |
| PARAM_VALUE | 2 | port->ops->set_ldisc | 0,107133540459220992,1038783411328565248,3180651508792717312,7260017805025792000,8776397759870930944,9016880667063590912 |
| PARAM_VALUE | 2 | port->ops->set_mctrl | 0,4096-ptr_max |
| PARAM_VALUE | 2 | port->ops->set_termios | 0,4096-ptr_max |
| PARAM_VALUE | 2 | port->ops->shutdown | 0,4096-ptr_max |
| PARAM_VALUE | 2 | port->ops->start_rx | 0,5873542877940285440,6784844264478343168 |
| PARAM_VALUE | 2 | port->ops->start_tx | 0,4096-ptr_max |
| PARAM_VALUE | 2 | port->ops->startup | 0,4096-ptr_max |
| PARAM_VALUE | 2 | port->ops->stop_rx | 0,4096-ptr_max |
| PARAM_VALUE | 2 | port->ops->stop_tx | 0,4096-ptr_max |
| PARAM_VALUE | 2 | port->ops->throttle | 0,446901062575726592,614454427748077568,5902800722117529600,7031291471637417984 |
| PARAM_VALUE | 2 | port->ops->tx_empty | 0,4096-ptr_max |
| PARAM_VALUE | 2 | port->ops->type | 0,4096-ptr_max |
| PARAM_VALUE | 2 | port->ops->unthrottle | 0,723512256861564928,2236952966483537920,2389416623536672768,6311727606847205376 |
| PARAM_VALUE | 2 | port->ops->verify_port | 0,4096-ptr_max |
| PARAM_VALUE | 2 | port->private_data | 4096-ptr_max |
| PARAM_VALUE | 2 | port->private_data->reg_ops | 4096-ptr_max |
| PARAM_VALUE | 2 | port->private_data->reg_ops->in | 4096-ptr_max |
| BUF_SIZE | 2 | port->dev | (-1),1616 |
| BUF_SIZE | 2 | port->name | (-1)-s32max |
| BUF_SIZE | 2 | port->ops | (-1),216 |
| BUF_SIZE | 2 | port->private_data | (-1),1-s32max |
| CAPPED_DATA | 2 | port->dev->cma_area->nranges | 1 |
| DATA_SOURCE | 2 | port | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | port->hub6 | 0-255 |
| USER_DATA | 2 | port->iobase | 0-u64max[c] |
| USER_DATA | 2 | port->iotype | 0-255 |
| USER_DATA | 2 | port->regshift | 0-255 |
| USER_DATA | 2 | port->type | 1-u32max |
| NO_OVERFLOW_SIMPLE | 2 | port->cons->kthread->dl.dl_runtime | |
| NO_OVERFLOW_SIMPLE | 2 | port->cons->pbufs | |
| NO_OVERFLOW_SIMPLE | 2 | port->dev->cma_area->available_count | |
| NO_OVERFLOW_SIMPLE | 2 | port->dev->p->deferred_probe_reason | |
| NO_OVERFLOW_SIMPLE | 2 | port->fifosize | |
| NO_OVERFLOW_SIMPLE | 2 | port->mapbase | |
| NO_OVERFLOW_SIMPLE | 2 | port->mapsize | |
| NO_OVERFLOW_SIMPLE | 2 | port->port_dev->dev.p->deferred_probe_reason | |
| NO_OVERFLOW_SIMPLE | 2 | port->port_dev->dev.physical_location | |
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &console_mutex |
drivers/tty/serial/uartlite.c ulite_shutdown() -> uart_out32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | val | 0 |
| PARAM_VALUE | 1 | offset | 12 |
| PARAM_VALUE | 2 | port | 4096-ptr_max |
| PARAM_VALUE | 2 | port->ops | 4096-ptr_max |
| BUF_SIZE | 2 | port | s32min-(-1),1-s32max |
| BUF_SIZE | 2 | port | s32min-(-1),1-s32max |
| DATA_SOURCE | 2 | port | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | 2 | &port->lock |
drivers/tty/serial/uartlite.c ulite_startup() -> uart_out32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | val | 3 |
| PARAM_VALUE | 1 | offset | 12 |
| PARAM_VALUE | 2 | port | 4096-ptr_max |
| PARAM_VALUE | 2 | port->dev->cma_area->available_count | 0-s64max |
| PARAM_VALUE | 2 | port->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 2 | port->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 2 | port->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 2 | port->irq | 0 |
| PARAM_VALUE | 2 | port->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | port->ops->start_rx | 0,4096-ptr_max |
| PARAM_VALUE | 2 | port->private_data | 4096-ptr_max |
| BUF_SIZE | 2 | port | s32min-(-1),1-s32max |
| BUF_SIZE | 2 | port | s32min-(-1),1-s32max |
| DATA_SOURCE | 2 | port | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | 2 | &port->lock |
drivers/tty/serial/uartlite.c ulite_startup() -> uart_out32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | val | 16 |
| PARAM_VALUE | 1 | offset | 12 |
| PARAM_VALUE | 2 | port | 4096-ptr_max |
| PARAM_VALUE | 2 | port->dev->cma_area->available_count | 0-s64max |
| PARAM_VALUE | 2 | port->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 2 | port->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 2 | port->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 2 | port->irq | 0 |
| PARAM_VALUE | 2 | port->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | port->ops->start_rx | 0,4096-ptr_max |
| PARAM_VALUE | 2 | port->private_data | 4096-ptr_max |
| PARAM_VALUE | 2 | port->private_data->reg_ops | 4096-ptr_max |
| PARAM_VALUE | 2 | port->private_data->reg_ops->out | 4096-ptr_max |
| BUF_SIZE | 2 | port | s32min-(-1),1-s32max |
| BUF_SIZE | 2 | port | s32min-(-1),1-s32max |
| DATA_SOURCE | 2 | port | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | 2 | &port->lock |
drivers/tty/serial/uartlite.c ulite_transmit() -> uart_out32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | val | 1-255 |
| PARAM_VALUE | 1 | offset | 4 |
| PARAM_VALUE | 2 | port | 4096-ptr_max |
| PARAM_VALUE | 2 | port->membase | 4096-ptr_max |
| PARAM_VALUE | 2 | port->ops->send_xchar | 0,625199656327569408,6317227003971317760 |
| PARAM_VALUE | 2 | port->ops->start_rx | 0,4096-ptr_max |
| PARAM_VALUE | 2 | port->private_data | 4096-ptr_max |
| PARAM_VALUE | 2 | port->x_char | 1-255 |
| BUF_SIZE | 2 | port | s32min-(-1),1-s32max |
| BUF_SIZE | 2 | port | s32min-(-1),1-s32max |
| DATA_SOURCE | 2 | port | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | val | 1-255 |
| HOST_DATA | 2 | port->cons_flow | 0-1 |
| HOST_DATA | 2 | port->console_reinit | 0-255 |
| HOST_DATA | 2 | port->ctrl_id | 0-u32max |
| HOST_DATA | 2 | port->custom_divisor | 0-u32max |
| HOST_DATA | 2 | port->fifosize | 0-u32max |
| HOST_DATA | 2 | port->flags | 0-u64max |
| HOST_DATA | 2 | port->frame_time | 0-u32max |
| HOST_DATA | 2 | port->has_sysrq | 0-255 |
| HOST_DATA | 2 | port->hub6 | 0-255 |
| HOST_DATA | 2 | port->icount.brk | 0-u32max |
| HOST_DATA | 2 | port->icount.buf_overrun | 0-u32max |
| HOST_DATA | 2 | port->icount.cts | 0-u32max |
| HOST_DATA | 2 | port->icount.dcd | 0-u32max |
| HOST_DATA | 2 | port->icount.dsr | 0-u32max |
| HOST_DATA | 2 | port->icount.frame | 0-u32max |
| HOST_DATA | 2 | port->icount.overrun | 0-u32max |
| HOST_DATA | 2 | port->icount.parity | 0-u32max |
| HOST_DATA | 2 | port->icount.rng | 0-u32max |
| HOST_DATA | 2 | port->icount.rx | 0-u32max |
| HOST_DATA | 2 | port->icount.tx | 0-u32max |
| HOST_DATA | 2 | port->ignore_status_mask | 0-u32max |
| HOST_DATA | 2 | port->iobase | 0-u64max |
| HOST_DATA | 2 | port->iotype | s32min-s32max |
| HOST_DATA | 2 | port->irq | 0-u32max |
| HOST_DATA | 2 | port->irqflags | 0-u64max |
| HOST_DATA | 2 | port->iso7816.clk | 0-u32max |
| HOST_DATA | 2 | port->iso7816.flags | 0-u32max |
| HOST_DATA | 2 | port->iso7816.sc_di | 0-u32max |
| HOST_DATA | 2 | port->iso7816.sc_fi | 0-u32max |
| HOST_DATA | 2 | port->iso7816.tg | 0-u32max |
| HOST_DATA | 2 | port->line | 0-u32max |
| HOST_DATA | 2 | port->mapbase | 0-u64max |
| HOST_DATA | 2 | port->mapsize | 0-u64max |
| HOST_DATA | 2 | port->mctrl | 0-u32max |
| HOST_DATA | 2 | port->minor | 0-u32max |
| HOST_DATA | 2 | port->port_id | 0-u32max |
| HOST_DATA | 2 | port->quirks | 0-255 |
| HOST_DATA | 2 | port->read_status_mask | 0-u32max |
| HOST_DATA | 2 | port->regshift | 0-255 |
| HOST_DATA | 2 | port->rs485.addr_dest | 0-255 |
| HOST_DATA | 2 | port->rs485.addr_recv | 0-255 |
| HOST_DATA | 2 | port->rs485.delay_rts_after_send | 0-u32max |
| HOST_DATA | 2 | port->rs485.delay_rts_before_send | 0-u32max |
| HOST_DATA | 2 | port->rs485.flags | 0-u32max |
| HOST_DATA | 2 | port->rs485_supported.addr_dest | 0-255 |
| HOST_DATA | 2 | port->rs485_supported.addr_recv | 0-255 |
| HOST_DATA | 2 | port->rs485_supported.delay_rts_after_send | 0-u32max |
| HOST_DATA | 2 | port->rs485_supported.delay_rts_before_send | 0-u32max |
| HOST_DATA | 2 | port->rs485_supported.flags | 0-u32max |
| HOST_DATA | 2 | port->status | 0-u32max |
| HOST_DATA | 2 | port->suspended | 0-255 |
| HOST_DATA | 2 | port->sysrq | 0-u64max |
| HOST_DATA | 2 | port->sysrq_ch | 0-255 |
| HOST_DATA | 2 | port->sysrq_seq | 0-255 |
| HOST_DATA | 2 | port->type | 0-u32max |
| HOST_DATA | 2 | port->uartclk | 0-u32max |
| HOST_DATA | 2 | port->x_char | 1-255 |
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | 2 | &port->lock |
drivers/tty/serial/uartlite.c ulite_transmit() -> uart_out32()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | offset | 4 |
| PARAM_VALUE | 2 | port | 4096-ptr_max |
| PARAM_VALUE | 2 | port->hw_stopped | 0 |
| PARAM_VALUE | 2 | port->membase | 4096-ptr_max |
| PARAM_VALUE | 2 | port->ops->send_xchar | 0,625199656327569408,6317227003971317760 |
| PARAM_VALUE | 2 | port->ops->start_rx | 0,4096-ptr_max |
| PARAM_VALUE | 2 | port->private_data | 4096-ptr_max |
| PARAM_VALUE | 2 | port->state | 4096-ptr_max |
| PARAM_VALUE | 2 | port->state->port.tty | 0,4096-ptr_max |
| PARAM_VALUE | 2 | port->x_char | 0 |
| BUF_SIZE | 2 | port | s32min-(-1),1-s32max |
| BUF_SIZE | 2 | port | s32min-(-1),1-s32max |
| DATA_SOURCE | 2 | port | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | port->cons_flow | 0-1 |
| HOST_DATA | 2 | port->console_reinit | 0-255 |
| HOST_DATA | 2 | port->ctrl_id | 0-u32max |
| HOST_DATA | 2 | port->custom_divisor | 0-u32max |
| HOST_DATA | 2 | port->fifosize | 0-u32max |
| HOST_DATA | 2 | port->flags | 0-u64max |
| HOST_DATA | 2 | port->frame_time | 0-u32max |
| HOST_DATA | 2 | port->has_sysrq | 0-255 |
| HOST_DATA | 2 | port->hub6 | 0-255 |
| HOST_DATA | 2 | port->icount.brk | 0-u32max |
| HOST_DATA | 2 | port->icount.buf_overrun | 0-u32max |
| HOST_DATA | 2 | port->icount.cts | 0-u32max |
| HOST_DATA | 2 | port->icount.dcd | 0-u32max |
| HOST_DATA | 2 | port->icount.dsr | 0-u32max |
| HOST_DATA | 2 | port->icount.frame | 0-u32max |
| HOST_DATA | 2 | port->icount.overrun | 0-u32max |
| HOST_DATA | 2 | port->icount.parity | 0-u32max |
| HOST_DATA | 2 | port->icount.rng | 0-u32max |
| HOST_DATA | 2 | port->icount.rx | 0-u32max |
| HOST_DATA | 2 | port->ignore_status_mask | 0-u32max |
| HOST_DATA | 2 | port->iobase | 0-u64max |
| HOST_DATA | 2 | port->iotype | s32min-s32max |
| HOST_DATA | 2 | port->irq | 0-u32max |
| HOST_DATA | 2 | port->irqflags | 0-u64max |
| HOST_DATA | 2 | port->iso7816.clk | 0-u32max |
| HOST_DATA | 2 | port->iso7816.flags | 0-u32max |
| HOST_DATA | 2 | port->iso7816.sc_di | 0-u32max |
| HOST_DATA | 2 | port->iso7816.sc_fi | 0-u32max |
| HOST_DATA | 2 | port->iso7816.tg | 0-u32max |
| HOST_DATA | 2 | port->line | 0-u32max |
| HOST_DATA | 2 | port->mapbase | 0-u64max |
| HOST_DATA | 2 | port->mapsize | 0-u64max |
| HOST_DATA | 2 | port->mctrl | 0-u32max |
| HOST_DATA | 2 | port->minor | 0-u32max |
| HOST_DATA | 2 | port->port_id | 0-u32max |
| HOST_DATA | 2 | port->quirks | 0-255 |
| HOST_DATA | 2 | port->read_status_mask | 0-u32max |
| HOST_DATA | 2 | port->regshift | 0-255 |
| HOST_DATA | 2 | port->rs485.addr_dest | 0-255 |
| HOST_DATA | 2 | port->rs485.addr_recv | 0-255 |
| HOST_DATA | 2 | port->rs485.delay_rts_after_send | 0-u32max |
| HOST_DATA | 2 | port->rs485.delay_rts_before_send | 0-u32max |
| HOST_DATA | 2 | port->rs485.flags | 0-u32max |
| HOST_DATA | 2 | port->rs485_supported.addr_dest | 0-255 |
| HOST_DATA | 2 | port->rs485_supported.addr_recv | 0-255 |
| HOST_DATA | 2 | port->rs485_supported.delay_rts_after_send | 0-u32max |
| HOST_DATA | 2 | port->rs485_supported.delay_rts_before_send | 0-u32max |
| HOST_DATA | 2 | port->rs485_supported.flags | 0-u32max |
| HOST_DATA | 2 | port->status | 0-u32max |
| HOST_DATA | 2 | port->suspended | 0-255 |
| HOST_DATA | 2 | port->sysrq | 0-u64max |
| HOST_DATA | 2 | port->sysrq_ch | 0-255 |
| HOST_DATA | 2 | port->sysrq_seq | 0-255 |
| HOST_DATA | 2 | port->type | 0-u32max |
| HOST_DATA | 2 | port->uartclk | 0-u32max |
| HOST_DATA | 2 | port->x_char | 0 |
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | 2 | &port->lock |