Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
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 |