Defined in 1 files as a function:
Referenced in 3 files:
- kernel/locking/rtmutex.c, line 1483
- kernel/locking/rtmutex_api.c, line 530
- kernel/locking/rwbase_rt.c, line 171
Smatch caller information:
kernel/locking/rtmutex_api.c rt_mutex_postunlock() -> rt_mutex_wake_up_q()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wqh | 2728979400642543616,6405586899507384320 |
| PARAM_VALUE | 0 | wqh->head.first | 1 |
| PARAM_VALUE | 0 | wqh->head.lastp | 4096-ptr_max |
| PARAM_VALUE | 0 | wqh->rtlock_task | 0 |
| PARAM_VALUE | 0 | *wqh->head.lastp | 1 |
| DATA_SOURCE | 0 | wqh | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
kernel/locking/rtmutex_api.c rt_mutex_slowunlock() -> rt_mutex_wake_up_q()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wqh | 8822020522894270464 |
| PARAM_VALUE | 0 | wqh->head.first | 1 |
| PARAM_VALUE | 0 | wqh->head.lastp | 4096-ptr_max |
| PARAM_VALUE | 0 | wqh->rtlock_task | 0 |
| PARAM_VALUE | 0 | *wqh->head.lastp | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |