Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/tty/serial/serial_core.c serial_core_unregister_port() -> serial_core_remove_one_port()

Type Parameter Key Value
PARAM_VALUE 0 drv->dev_name 0,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->owner 0
PARAM_VALUE 1 uport 4096-ptr_max
PARAM_VALUE 1 uport->flags 0,1073741824-u64max
PARAM_VALUE 1 uport->port_dev 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->dev_name (-1),7
BUF_SIZE 0 drv->driver_name (-1),10
BUF_SIZE 1 uport s32min-(-1),1-s32max
BUF_SIZE 1 uport s32min-(-1),1-s32max
BUF_SIZE 1 uport->ops (-1),216
DATA_SOURCE 0 drv $0
DATA_SOURCE 1 uport $1
STR_LEN 0 drv->cons->name (-1),6
STR_LEN 0 drv->dev_name (-1),6
STR_LEN 0 drv->driver_name (-1),9
BIT_INFO 1 uport->flags 0x40000000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 drv->nr
UNITS 1 uport unit_byte
LOCK2 _T->lock
HALF_LOCKED2 global &max3100s_lock