Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/rcu/tree.c __call_rcu_nocb_wake() -> wake_nocb_gp_defer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rdp | 4096-ptr_max |
| PARAM_VALUE | 0 | rdp->cpu | 0-64 |
| PARAM_VALUE | 0 | rdp->lazy_len | s64min-(-1),1-s64max |
| PARAM_VALUE | 0 | rdp->nocb_bypass.len | s64min-(-1),1-s64max |
| PARAM_VALUE | 0 | rdp->nocb_gp_kthread | 1-u64max |
| PARAM_VALUE | 0 | rdp->nocb_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | rdp->nocb_lock.owner | (-1) |
| PARAM_VALUE | 0 | rdp->nocb_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | waketype | 2 |
| PARAM_VALUE | 2 | reason | 7421520725669732352 |
| BUF_SIZE | 2 | reason | 9 |
| DATA_SOURCE | 0 | rdp | $0 |
| STR_LEN | 0 | rdp | 8 |
| TERMINATED | 2 | reason | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | 0 | &rdp->nocb_lock |
kernel/rcu/tree.c __call_rcu_nocb_wake() -> wake_nocb_gp_defer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rdp | 4096-ptr_max |
| PARAM_VALUE | 0 | rdp->cpu | 0-64 |
| PARAM_VALUE | 0 | rdp->nocb_gp_kthread | 1-u64max |
| PARAM_VALUE | 0 | rdp->nocb_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | rdp->nocb_lock.owner | (-1) |
| PARAM_VALUE | 0 | rdp->nocb_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | waketype | 3 |
| PARAM_VALUE | 2 | reason | 6817324978745307136 |
| BUF_SIZE | 2 | reason | 20 |
| DATA_SOURCE | 0 | rdp | $0 |
| STR_LEN | 0 | rdp | 19 |
| TERMINATED | 2 | reason | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | 0 | &rdp->nocb_lock |
kernel/rcu/tree.c nocb_gp_wait() -> wake_nocb_gp_defer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rdp | 4096-ptr_max |
| PARAM_VALUE | 0 | rdp->cpu | 0-64 |
| PARAM_VALUE | 0 | rdp->nocb_defer_wakeup | 0-3 |
| PARAM_VALUE | 0 | rdp->nocb_gp_bypass | 0 |
| PARAM_VALUE | 0 | rdp->nocb_gp_gp | 0-1 |
| PARAM_VALUE | 0 | rdp->nocb_gp_loops | 1-u64max |
| PARAM_VALUE | 0 | rdp->nocb_gp_rdp->nocb_defer_wakeup | 0-s32max |
| PARAM_VALUE | 0 | rdp->nocb_gp_sleep | 0-1 |
| PARAM_VALUE | 1 | waketype | 2 |
| PARAM_VALUE | 2 | reason | 264939907224981504 |
| BUF_SIZE | 0 | rdp | 128 |
| BUF_SIZE | 0 | rdp | 128 |
| BUF_SIZE | 2 | reason | 19 |
| CAPPED_DATA | 0 | rdp | 1 |
| CAPPED_DATA | 0 | &rdp->nocb_head_rdp | 1 |
| DATA_SOURCE | 0 | rdp | $0 |
| STR_LEN | 0 | rdp | 18 |
| TERMINATED | 2 | reason | 1 |
| NOCHECK_CALL |
kernel/rcu/tree.c nocb_gp_wait() -> wake_nocb_gp_defer()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rdp | 4096-ptr_max |
| PARAM_VALUE | 0 | rdp->cpu | 0-64 |
| PARAM_VALUE | 0 | rdp->nocb_defer_wakeup | 0-3 |
| PARAM_VALUE | 0 | rdp->nocb_gp_gp | 0-1 |
| PARAM_VALUE | 0 | rdp->nocb_gp_loops | 1-u64max |
| PARAM_VALUE | 0 | rdp->nocb_gp_rdp->nocb_defer_wakeup | 0-s32max |
| PARAM_VALUE | 0 | rdp->nocb_gp_sleep | 0-1 |
| PARAM_VALUE | 1 | waketype | 1 |
| PARAM_VALUE | 2 | reason | 1916435542209486848 |
| BUF_SIZE | 0 | rdp | 128 |
| BUF_SIZE | 0 | rdp | 128 |
| BUF_SIZE | 2 | reason | 21 |
| CAPPED_DATA | 0 | rdp | 1 |
| CAPPED_DATA | 0 | &rdp->nocb_head_rdp | 1 |
| DATA_SOURCE | 0 | rdp | $0 |
| STR_LEN | 0 | rdp | 20 |
| TERMINATED | 2 | reason | 1 |
| NOCHECK_CALL |