Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/serial/serial_core.c uart_configure_port() -> (struct uart_ops)->config_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->cons->index s16min-(-2),0-s16max
PARAM_VALUE 0 port->cons->node.pprev 1-u64max
PARAM_VALUE 0 port->dev 4096-ptr_max
PARAM_VALUE 0 port->flags 0,1073741824-u64max
PARAM_VALUE 0 port->line 0-4294967294
PARAM_VALUE 0 port->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 port->name 1-u64max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->port_dev 4096-ptr_max
PARAM_VALUE 0 port->port_dev->port 4096-ptr_max
PARAM_VALUE 0 port->port_id 0-s32max
PARAM_VALUE 0 port->state 4096-ptr_max
PARAM_VALUE 0 port->state->refcount.counter 1
PARAM_VALUE 0 port->state->remove_wait.head.next 4096-ptr_max
PARAM_VALUE 0 port->state->remove_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 port->state->uart_port 4096-ptr_max
PARAM_VALUE 0 port->tty_groups 4096-ptr_max
PARAM_VALUE 1 flags 0-3
BUF_SIZE 0 port->name 0-s32max
BUF_SIZE 0 port->ops (-1),216
BUF_SIZE 0 port->private_data (-1),1-s32max
BUF_SIZE 0 port->tty_groups 24
CAPPED_DATA 0 port->cons->index 1
CAPPED_DATA 0 port->line 1
CAPPED_DATA 0 port->name 1
DATA_SOURCE 0 port $2
CONTAINER 0 -168-392+0 $(-1)
CONSTRAINT 0 port <474
BIT_INFO 0 port->flags 0x50000000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 port->iobase
NO_OVERFLOW_SIMPLE 0 port->mapbase
NO_OVERFLOW_SIMPLE 0 port->port_id
LOCK2 _T->lock
HALF_LOCKED2 global &console_sem
HALF_LOCKED2 global &max3100s_lock

drivers/tty/serial/serial_core.c uart_do_autoconfig() -> (struct uart_ops)->config_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->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->port_dev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 port->port_dev->tx_enabled 0
PARAM_VALUE 1 flags 1,3
CAPPED_DATA 0 port->dev->cma_area->nranges 1
FUZZY_MAX 1 flags 1
CAPABLE 0 21
CONTAINER 0 -168-392+0 $(-1)
BIT_INFO 1 flags 0x1,0x3
NOCHECK_CALL
LOCK2 _T->lock

drivers/tty/serial/8250/8250_rsa.c univ8250_config_port() -> (struct uart_ops)->config_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
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
DATA_SOURCE 1 flags $1
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