Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/tty/serial/8250/8250_pericom.c serial_dl_write() -> (struct uart_8250_port)->dl_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | up | 4096-ptr_max |
| PARAM_VALUE | 1 | value | 1-u16max |
| DATA_SOURCE | 0 | up | $0 |
| DATA_SOURCE | 1 | value | $1 |
| CONTAINER | 0 | -824+0 | $(-1) |
| BIT_INFO | 0 | up | 0x3a6ec5f9924f9000,0xffffffffffffffff |
| BIT_INFO | 0 | up | 0x3a6ec5f9924f9000,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_T->lock->lock | ||
| HALF_LOCKED2 | _T->flags |
drivers/tty/serial/8250/8250_omap.c serial_dl_write() -> (struct uart_8250_port)->dl_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | up | 4096-ptr_max |
| PARAM_VALUE | 0 | up->dma | 0,4096-ptr_max |
| PARAM_VALUE | 0 | up->gpios | 0,4096-ptr_max |
| PARAM_VALUE | 0 | up->port->membase | 0-255 |
| PARAM_VALUE | 0 | up->port.dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | up->port.private_data->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | up->port.serial_in | 4096-ptr_max |
| PARAM_VALUE | 0 | up->port.serial_out | 4096-ptr_max |
| BUF_SIZE | 0 | up | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | up | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | up | $0 |
| DATA_SOURCE | 1 | value | $1 |
| CONTAINER | 0 | -824+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_T->lock->lock | ||
| HALF_LOCKED2 | &port->lock | ||
| HALF_LOCKED2 | _T->flags | ||
| HALF_LOCKED2 | irq | ||
| HALF_LOCKED2 | 0 | &up->port.lock |
drivers/tty/serial/8250/8250_mxpcie.c serial_dl_write() -> (struct uart_8250_port)->dl_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | up | 4096-ptr_max |
| PARAM_VALUE | 0 | up->port->membase | 0-255 |
| PARAM_VALUE | 0 | up->port.private_data->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | up->port.serial_out | 4096-ptr_max |
| PARAM_VALUE | 1 | value | 0 |
| DATA_SOURCE | 0 | up | $0 |
| DATA_SOURCE | 1 | value | $1 |
| CONTAINER | 0 | -824+0 | $(-1) |
| NOCHECK_CALL | |||
| LOCK2 | &_T->lock->lock | ||
| LOCK2 | _T->flags |
drivers/tty/serial/8250/8250_port.c serial_dl_write() -> (struct uart_8250_port)->dl_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | up | 4096-ptr_max |
| DATA_SOURCE | 0 | up | $0 |
| DATA_SOURCE | 1 | value | $1 |
| CONTAINER | 0 | -824+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | value | 0-u32max |
| USER_DATA | 1 | value | 0-u32max[c] |
| HALF_LOCKED2 | &port->lock | ||
| HALF_LOCKED2 | flags |
drivers/tty/serial/8250/8250_mtk.c serial_dl_write() -> (struct uart_8250_port)->dl_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | up | 4096-ptr_max |
| DATA_SOURCE | 0 | up | $0 |
| DATA_SOURCE | 1 | value | $1 |
| CONTAINER | 0 | -824+0 | $(-1) |
| BIT_INFO | 0 | up | 0x193f07b2658dc000,0xffffffffffffffff |
| BIT_INFO | 0 | up | 0x193f07b2658dc000,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &port->lock | ||
| LOCK2 | flags | ||
| HALF_LOCKED2 | &port->mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &console_mutex | ||
| TYPE_LOCK | (struct uart_port)->lock |
drivers/tty/serial/8250/8250_dw.c serial_dl_write() -> (struct uart_8250_port)->dl_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | up | 4096-ptr_max |
| DATA_SOURCE | 0 | up | $0 |
| DATA_SOURCE | 1 | value | $1 |
| CONTAINER | 0 | -824+0 | $(-1) |
| BIT_INFO | 0 | up | 0x26e7083ecad8b000,0xffffffffffffffff |
| BIT_INFO | 0 | up | 0x26e7083ecad8b000,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | value | 0-u32max[c] |
| USER_DATA | 1 | value | 0-u32max[c] |
| HALF_LOCKED2 | &_T->lock->lock | ||
| HALF_LOCKED2 | _T->flags |
drivers/tty/serial/8250/8250_loongson.c serial_dl_write() -> (struct uart_8250_port)->dl_write()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | up | 4096-ptr_max |
| DATA_SOURCE | 0 | up | $0 |
| DATA_SOURCE | 1 | value | $1 |
| CONTAINER | 0 | -824+0 | $(-1) |
| BIT_INFO | 0 | up | 0x489c1284f66db000,0xffffffffffffffff |
| BIT_INFO | 0 | up | 0x489c1284f66db000,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | value | 0-u32max[c] |
| USER_DATA | 1 | value | 0-u32max[c] |
| HALF_LOCKED2 | &_T->lock->lock | ||
| HALF_LOCKED2 | _T->flags |