Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/infiniband/hw/cxgb4/cm.c fw6_msg() -> c4iw_wake_up_deref()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wr_waitp | 1-u64max |
| PARAM_VALUE | 1 | ret | (-255)-0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | ret | (-255)-(-1) |
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |