Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/tty/serial/rda-uart.c rda_uart_config_port() -> rda_uart_request_port()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | port->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | port->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port->ops->break_ctl | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->config_port | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->enable_ms | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->flush_buffer | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->get_mctrl | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->ioctl | 0 |
| PARAM_VALUE | 0 | port->ops->pm | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->poll_get_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->poll_init | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->poll_put_char | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->release_port | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->request_port | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->send_xchar | 0,625199656327569408,6317227003971317760 |
| PARAM_VALUE | 0 | port->ops->set_ldisc | 0,107133540459220992,1038783411328565248,3180651508792717312,7260017805025792000,8776397759870930944,9016880667063590912 |
| PARAM_VALUE | 0 | port->ops->set_mctrl | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->set_termios | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->shutdown | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->start_rx | 0,5873542877940285440,6784844264478343168 |
| PARAM_VALUE | 0 | port->ops->start_tx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->startup | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->stop_rx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->stop_tx | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->throttle | 0,446901062575726592,614454427748077568,5902800722117529600,7031291471637417984 |
| PARAM_VALUE | 0 | port->ops->tx_empty | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->type | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->unthrottle | 0,723512256861564928,2236952966483537920,2389416623536672768,6311727606847205376 |
| PARAM_VALUE | 0 | port->ops->verify_port | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->type | 118 |
| BUF_SIZE | 0 | port->dev | (-1),1616 |
| BUF_SIZE | 0 | port->name | (-1)-s32max |
| BUF_SIZE | 0 | port->ops | (-1),216 |
| BUF_SIZE | 0 | port->private_data | (-1),1-s32max |
| BUF_SIZE | 0 | port->tty_groups | (-1),24 |
| DATA_SOURCE | 0 | port | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | port->cons->kthread->dl.dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | port->cons->pbufs | |
| NO_OVERFLOW_SIMPLE | 0 | port->dev->cma_area->available_count | |
| NO_OVERFLOW_SIMPLE | 0 | port->dev->p->deferred_probe_reason | |
| NO_OVERFLOW_SIMPLE | 0 | port->iobase | |
| NO_OVERFLOW_SIMPLE | 0 | port->mapbase | |
| NO_OVERFLOW_SIMPLE | 0 | port->mapsize | |
| NO_OVERFLOW_SIMPLE | 0 | port->port_dev->dev.p->deferred_probe_reason | |
| NO_OVERFLOW_SIMPLE | 0 | port->port_dev->dev.physical_location | |
| HALF_LOCKED2 | _T->lock |
drivers/tty/serial/serial_core.c uart_change_port() -> (struct uart_ops)->request_port()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->cons | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | port->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | port->dev->iommu_group->default_domain | 0-s64max |
| PARAM_VALUE | 0 | port->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port->iotype | 0-255 |
| PARAM_VALUE | 0 | port->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | port->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->release_port | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->request_port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->verify_port | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->port_dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port->port_dev->tx_enabled | 0 |
| PARAM_VALUE | 0 | port->type | 1-u32max |
| CAPPED_DATA | 0 | port->dev->cma_area->nranges | 1 |
| DATA_SOURCE | 0 | port | $0 |
| CAPABLE | 0 | 21 | |
| CONTAINER | 0 | -160-392+0 | $(-1) |
| BIT_INFO | 0 | port->flags | 0x0,0xffffffffdfffffff |
| USER_DATA | 0 | port->hub6 | 0-255 |
| USER_DATA | 0 | port->iobase | 0-u64max[c] |
| USER_DATA | 0 | port->iotype | 0-255 |
| USER_DATA | 0 | port->regshift | 0-255 |
| USER_DATA | 0 | port->type | 1-u32max |
| LOCK2 | _T->lock |
drivers/tty/serial/serial_core.c uart_change_port() -> (struct uart_ops)->request_port()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->cons | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | port->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | port->dev->iommu_group->default_domain | 0-s64max |
| PARAM_VALUE | 0 | port->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | port->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->release_port | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->request_port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->verify_port | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->port_dev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port->port_dev->tx_enabled | 0 |
| PARAM_VALUE | 0 | port->type | 1-u32max |
| CAPPED_DATA | 0 | port->dev->cma_area->nranges | 1 |
| DATA_SOURCE | 0 | port | $0 |
| CAPABLE | 0 | 21 | |
| CONTAINER | 0 | -160-392+0 | $(-1) |
| BIT_INFO | 0 | port->flags | 0x0,0xffffffffdfffffff |
| LOCK2 | _T->lock |
drivers/tty/serial/8250/8250_rsa.c univ8250_request_port() -> (struct uart_ops)->request_port()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port->dev->cma_area->nranges | s32min-s32max |
| PARAM_VALUE | 0 | port->dev->dma_io_tlb_mem->for_alloc | 0-1 |
| PARAM_VALUE | 0 | port->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | port->ops->release_port | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->request_port | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->verify_port | 0,4096-ptr_max |
| PARAM_VALUE | 0 | port->port_dev->tx_enabled | 0-1 |
| CAPPED_DATA | 0 | port->dev->cma_area->nranges | 1 |
| DATA_SOURCE | 0 | port | $0 |
| USER_DATA | 0 | port->hub6 | 0-255 |
| USER_DATA | 0 | port->iobase | 0-u64max[c] |
| USER_DATA | 0 | port->iotype | 0-255 |
| USER_DATA | 0 | port->regshift | 0-255 |
| USER_DATA | 0 | port->type | 1-u32max |
| NO_OVERFLOW_SIMPLE | 0 | port->dev->cma_area->available_count | |
| NO_OVERFLOW_SIMPLE | 0 | port->fifosize | |
| NO_OVERFLOW_SIMPLE | 0 | port->mapsize | |
| HALF_LOCKED2 | _T->lock |