Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/serial/serial_core.c serial_core_remove_one_port() -> (struct uart_ops)->release_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->flags 0,1073741824-u64max
PARAM_VALUE 0 port->ops 4096-ptr_max
PARAM_VALUE 0 port->ops->release_port 4096-ptr_max
PARAM_VALUE 0 port->port_dev 4096-ptr_max
PARAM_VALUE 0 port->type 1-u32max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port->ops (-1),216
CAPPED_DATA 0 port 1
CAPPED_DATA 0 port->cons 1
DATA_SOURCE 0 port $1
CONTAINER 0 -152-392+0 $(-1)
BIT_INFO 0 port->flags 0x40000000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 _T->lock
HALF_LOCKED2 global &max3100s_lock

drivers/tty/serial/serial_core.c uart_change_port() -> (struct uart_ops)->release_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->available_count 0-s64max
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 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
DATA_SOURCE 0 port $0
CAPABLE 0 21
CONTAINER 0 -152-392+0 $(-1)
BIT_INFO 0 port->flags 0x0,0xffffffffdfffffff
NOCHECK_CALL
LOCK2 _T->lock

drivers/tty/serial/serial_core.c uart_do_autoconfig() -> (struct uart_ops)->release_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->available_count 0-s64max
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 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
CAPABLE 0 21
CONTAINER 0 -152-392+0 $(-1)
NOCHECK_CALL
LOCK2 _T->lock

drivers/tty/serial/8250/8250_rsa.c univ8250_release_port() -> (struct uart_ops)->release_port()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->dev->cma_area->available_count 0-s64max
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
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port s32min-(-1),1-s32max
BUF_SIZE 0 port->dev (-1),1616
BUF_SIZE 0 port->ops (-1),216
CAPPED_DATA 0 port 1
DATA_SOURCE 0 port $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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
NO_OVERFLOW_SIMPLE 0 port->cons->kthread->dl.dl_runtime
NO_OVERFLOW_SIMPLE 0 port->cons->kthread->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 port->dev->cma_area->available_count
NO_OVERFLOW_SIMPLE 0 port->fifosize
NO_OVERFLOW_SIMPLE 0 port->mapsize
NO_OVERFLOW_SIMPLE 0 port->port_dev->dev.dma_range_map
NO_OVERFLOW_SIMPLE 0 port->port_dev->dev.p->deferred_probe_reason
HALF_LOCKED2 _T->lock

drivers/tty/serial/8250/8250_rsa.c univ8250_request_port() -> (struct uart_ops)->release_port()

Type Parameter Key Value
PARAM_VALUE 0 port 4096-ptr_max
PARAM_VALUE 0 port->dev->cma_area->available_count 0-s64max
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
PARAM_VALUE 0 port->type 13
CAPPED_DATA 0 port->dev->cma_area->nranges 1
DATA_SOURCE 0 port $0
NOCHECK_CALL
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
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