Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/futex/requeue.c futex_requeue() -> rt_mutex_start_proxy_lock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | lock | 16,4096-ptr_max |
| PARAM_VALUE | 1 | waiter | 9173740585203314688 |
| PARAM_VALUE | 2 | task->sched_class->pick_task | 0,71,431140902756892672,1158575681758597120,5720692379550740480,7102393387566546944,7601726578106748928 |
| RX_PATH |