Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/futex/core.c compat_exit_robust_list() -> compat_fetch_robust_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uentry | 809607508055441408 |
| PARAM_VALUE | 1 | entry | 4118032842922401792 |
| PARAM_VALUE | 3 | pflags | 2677786742710337536 |
| LOCK2 | &curr->futex.exit_mutex | ||
| TYPE_LOCK | (struct futex_sched_data)->exit_mutex |
kernel/futex/core.c compat_exit_robust_list() -> compat_fetch_robust_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uentry | 43388020858101760 |
| PARAM_VALUE | 1 | entry | 3775828223684304896 |
| PARAM_VALUE | 2 | head | 4096-ptr_max |
| PARAM_VALUE | 3 | pflags | 6628876154253516800 |
| LOCK2 | &curr->futex.exit_mutex | ||
| TYPE_LOCK | (struct futex_sched_data)->exit_mutex |
kernel/futex/core.c compat_exit_robust_list() -> compat_fetch_robust_entry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | uentry | 7651360629938343936 |
| PARAM_VALUE | 1 | entry | 6051342597704888320 |
| PARAM_VALUE | 1 | *entry | 0,2-4294967294 |
| PARAM_VALUE | 2 | head | 0,2-4294967294 |
| PARAM_VALUE | 3 | pflags | 1097068624444116992 |
| BUF_SIZE | 2 | head | 8 |
| USER_DATA | 0 | *uentry | 0-u32max |
| USER_DATA | 3 | *pflags | 0-1 |
| USER_PTR | 0 | uentry | |
| USER_PTR | 3 | pflags | |
| LOCK2 | &curr->futex.exit_mutex | ||
| TYPE_LOCK | (struct futex_sched_data)->exit_mutex |