Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/futex/requeue.c futex_requeue() -> futex_proxy_trylock_atomic()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | hb1->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | hb2 | 4096-ptr_max |
| PARAM_VALUE | 3 | key1 | 1243476984434212864 |
| PARAM_VALUE | 3 | key1->both.offset | 0-4097 |
| PARAM_VALUE | 4 | key2 | 3941447340228022272 |
| PARAM_VALUE | 4 | key2->both.offset | 0-4097 |
| PARAM_VALUE | 5 | ps | 1594347347749928960 |
| PARAM_VALUE | 5 | *ps | 0 |
| PARAM_VALUE | 6 | exiting | 4190141825271988224 |
| PARAM_VALUE | 6 | *exiting | 0 |
| PARAM_VALUE | 7 | set_waiters | 0-s32max |
| CAPPED_DATA | 0 | pifutex | 1 |
| CAPPED_DATA | 1 | hb1 | 1 |
| DATA_SOURCE | 0 | pifutex | $2 |
| DATA_SOURCE | 7 | set_waiters | $5 |
| FUZZY_MAX | 7 | set_waiters | 0 |
| RX_PATH | |||
| USER_DATA | 0 | pifutex | 0-u64max[c] |
| USER_DATA | 3 | key1->both.offset | 0-4097[c] |
| USER_DATA | 3 | key1->private.address | 0-u64max |
| USER_DATA | 4 | key2->both.offset | 0-4097[c] |
| USER_DATA | 4 | key2->private.address | 0-u64max |
| USER_DATA | 7 | set_waiters | 0-s32max |