Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/serial/serial_core.c serial_core_add_one_port() -> uart_configure_port()

Type Parameter Key Value
PARAM_VALUE 0 drv 4096-ptr_max
PARAM_VALUE 0 drv->dev_name 4096-ptr_max
PARAM_VALUE 0 drv->driver_name 0,4096-ptr_max
PARAM_VALUE 0 drv->major 0,4,204,207,243
PARAM_VALUE 0 drv->minor 0,8,16,40,46,64,154,186-187,192,205,209,213
PARAM_VALUE 0 drv->nr s32min-(-1),1-s32max
PARAM_VALUE 0 drv->owner 0
PARAM_VALUE 0 drv->tty_driver 4096-ptr_max
PARAM_VALUE 1 state 4096-ptr_max
PARAM_VALUE 1 state->pm_state 4
PARAM_VALUE 1 state->refcount.counter 1
PARAM_VALUE 1 state->remove_wait.head.next 4096-ptr_max
PARAM_VALUE 1 state->remove_wait.head.next->next 4096-ptr_max
PARAM_VALUE 1 state->remove_wait.head.prev 4096-ptr_max
PARAM_VALUE 1 state->remove_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 1 state->remove_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 1 state->uart_port 4096-ptr_max
PARAM_VALUE 1 state->uart_port->dev 4096-ptr_max
PARAM_VALUE 1 state->uart_port->flags 0,1073741824-u64max
PARAM_VALUE 1 state->uart_port->line 0-4294967294
PARAM_VALUE 1 state->uart_port->name 1-u64max
PARAM_VALUE 1 state->uart_port->port_dev 4096-ptr_max
PARAM_VALUE 1 state->uart_port->port_id 0-s32max
PARAM_VALUE 1 state->uart_port->tty_groups 4096-ptr_max
PARAM_VALUE 2 port 4096-ptr_max
PARAM_VALUE 2 port->cons->index s16min-(-2),0-s16max
PARAM_VALUE 2 port->cons->node.pprev 1-u64max
PARAM_VALUE 2 port->dev 4096-ptr_max
PARAM_VALUE 2 port->flags 0,1073741824-u64max
PARAM_VALUE 2 port->line 0-4294967294
PARAM_VALUE 2 port->lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 port->name 1-u64max
PARAM_VALUE 2 port->port_dev 4096-ptr_max
PARAM_VALUE 2 port->port_dev->port 4096-ptr_max
PARAM_VALUE 2 port->port_id 0-s32max
PARAM_VALUE 2 port->state 4096-ptr_max
PARAM_VALUE 2 port->state->refcount.counter 1
PARAM_VALUE 2 port->state->remove_wait.head.next 4096-ptr_max
PARAM_VALUE 2 port->state->remove_wait.head.prev 4096-ptr_max
PARAM_VALUE 2 port->state->uart_port 4096-ptr_max
PARAM_VALUE 2 port->tty_groups 4096-ptr_max
BUF_SIZE 0 drv (-1),64
BUF_SIZE 0 drv (-1),64
BUF_SIZE 0 drv->cons (-1),280
BUF_SIZE 0 drv->cons->data (-1),1744
BUF_SIZE 0 drv->dev_name (-1),6-7
BUF_SIZE 0 drv->driver_name (-1),8,10
BUF_SIZE 2 port->name 0-s32max
BUF_SIZE 2 port->ops (-1),216
BUF_SIZE 2 port->private_data (-1),1-s32max
BUF_SIZE 2 port->tty_groups 24
CAPPED_DATA 0 drv->nr 1
CAPPED_DATA 0 drv->tty_driver->num 1
CAPPED_DATA 1 state->uart_port->line 1
CAPPED_DATA 2 port->line 1
CAPPED_DATA 2 port->name 1
DATA_SOURCE 0 drv $0
DATA_SOURCE 2 port $1
STR_LEN 0 drv->cons->name (-1),5-6
STR_LEN 0 drv->dev_name (-1),5-6
STR_LEN 0 drv->driver_name (-1),7,9
PARAM_COMPARE 0 drv->nr > $2->line
CONSTRAINT 2 port->line <474
BIT_INFO 2 port->flags 0x40000000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 drv->nr
NO_OVERFLOW_SIMPLE 0 drv->tty_driver->num
NO_OVERFLOW_SIMPLE 1 state->uart_port->iobase
NO_OVERFLOW_SIMPLE 2 port->iobase
LOCK2 _T->lock
HALF_LOCKED2 global &max3100s_lock