Defined in 2 files as a function:
- drivers/mailbox/cix-mailbox.c, line 131 (as a function)
- drivers/mailbox/omap-mailbox.c, line 120 (as a function)
Referenced in 2 files:
Smatch caller information:
drivers/mailbox/cix-mailbox.c cix_mbox_isr_fifo() -> mbox_fifo_empty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chan | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->con_priv | 4096-ptr_max |
| DATA_SOURCE | 0 | chan | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq |
drivers/mailbox/omap-mailbox.c __mbox_rx_interrupt() -> mbox_fifo_empty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chan | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->parent | 4096-ptr_max |
| DATA_SOURCE | 0 | chan | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | *chan->chan->cl->dev->driver_data->rx_buffer | 0-255 |
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | irq |
drivers/mailbox/omap-mailbox.c __mbox_rx_interrupt() -> mbox_fifo_empty()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chan | 4096-ptr_max |
| PARAM_VALUE | 0 | chan->parent | 4096-ptr_max |
| DATA_SOURCE | 0 | chan | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | *chan->chan->cl->dev->driver_data->rx_buffer | 0-255 |
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | irq |