Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/tty/serial/serial_core.c uart_set_info() -> (struct uart_ops)->verify_port()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | port | 4096-ptr_max |
| PARAM_VALUE | 0 | port->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | port->ops->verify_port | 4096-ptr_max |
| PARAM_VALUE | 1 | ser | 1952096559042052096,8245551031412981760 |
| PARAM_VALUE | 1 | ser->flags | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 1 | ser->irq | s32min-1,3-s32max |
| CAPPED_DATA | 1 | ser->irq | 1 |
| DATA_SOURCE | 1 | ser | $3 |
| CAPABLE | 0 | 21 | |
| CONTAINER | 0 | -176-392+0 | $(-1) |
| USER_DATA | 1 | ser->baud_base | s32min-s32max |
| USER_DATA | 1 | ser->close_delay | 0-u16max |
| USER_DATA | 1 | ser->closing_wait | 0-65534 |
| USER_DATA | 1 | ser->closing_wait2 | 0-u16max |
| USER_DATA | 1 | ser->custom_divisor | s32min-s32max |
| USER_DATA | 1 | ser->flags | s32min-s32max |
| USER_DATA | 1 | ser->hub6 | s32min-s32max |
| USER_DATA | 1 | ser->io_type | 0-255 |
| USER_DATA | 1 | ser->iomap_base | 0-u64max |
| USER_DATA | 1 | ser->iomem_reg_shift | 0-u16max |
| USER_DATA | 1 | ser->irq | s32min-1,3-s32max[c] |
| USER_DATA | 1 | ser->line | s32min-s32max |
| USER_DATA | 1 | ser->port | 0-u32max |
| USER_DATA | 1 | ser->port_high | 0-u32max |
| USER_DATA | 1 | ser->type | s32min-s32max |
| USER_DATA | 1 | ser->xmit_fifo_size | s32min-s32max |
| USER_PTR | 1 | ser->reserved_char | |
| LOCK2 | _T->lock |