Defined in 1 files as a prototype:
Defined in 2 files as a function:
- drivers/tty/serial/8250/8250.h, line 449 (as a function)
- drivers/tty/serial/8250/8250_dma.c, line 319 (as a function)
Referenced in 3 files:
- drivers/tty/serial/8250/8250_dma.c, line 344
- drivers/tty/serial/8250/8250_omap.c, line 792
- drivers/tty/serial/8250/8250_port.c, line 2431
Smatch caller information:
drivers/tty/serial/8250/8250_omap.c omap_8250_shutdown() -> serial8250_release_dma()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| PARAM_VALUE | 0 | p->dma | 0,4096-ptr_max |
| PARAM_VALUE | 0 | p->dma->rx_running | 0 |
| PARAM_VALUE | 0 | p->ier | 0 |
| PARAM_VALUE | 0 | p->port->membase | 0-255 |
| PARAM_VALUE | 0 | p->port.dev->power.request | 0-4 |
| PARAM_VALUE | 0 | p->port.dev->power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | p->port.dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | p->port.private_data->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | p->port.serial_out | 4096-ptr_max |
| DATA_SOURCE | 0 | p | r up_to_u8250p |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &port->lock | ||
| HALF_LOCKED2 | &_dev->mutex | ||
| HALF_LOCKED2 | _T->lock |
drivers/tty/serial/8250/8250_port.c serial8250_do_shutdown() -> serial8250_release_dma()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| PARAM_VALUE | 0 | p->ier | 0 |
| PARAM_VALUE | 0 | p->port.dev->power.wakeirq->status | 0-4294967295 |
| DATA_SOURCE | 0 | p | r up_to_u8250p |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &_T->lock->lock | ||
| LOCK2 | _T->flags | ||
| LOCK2 | _T->lock |