Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/reset/reset-eyeq.c eqr_busy_wait_locked() -> eqr_double_readl()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | dest_a | 3259668930249990144 |
| PARAM_VALUE | 3 | dest_b | 1795981274062155776 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | *dest_a | 0-u32max |
| HOST_DATA | 3 | *dest_b | 0-u32max |
| LOCK2 | _T->lock |