Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/rcu/tree.c rcu_barrier() -> rcu_barrier_trace()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 3409601286936997888 |
| PARAM_VALUE | 1 | cpu | (-1) |
| PARAM_VALUE | 2 | done | 0,4-u64max |
| BUF_SIZE | 0 | s | 6 |
| DATA_SOURCE | 2 | done | r rcu_seq_snap |
| STR_LEN | 0 | s | 5 |
| TERMINATED | 0 | s | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &attr->mutex | ||
| HALF_LOCKED2 | &wg->device_update_lock | ||
| HALF_LOCKED2 | global &fullstop_mutex | ||
| HALF_LOCKED2 | global &init_lock | ||
| HALF_LOCKED2 | global &nfsd_mutex | ||
| HALF_LOCKED2 | global &pernet_ops_rwsem | ||
| HALF_LOCKED2 | global &rcu_fwd_mutex | ||
| HALF_LOCKED2 | global &rcu_state.nocb_mutex | ||
| HALF_LOCKED2 | global &slab_mutex | ||
| HALF_LOCKED2 | global &vboxsf_setup_mutex |
kernel/rcu/tree.c rcu_barrier() -> rcu_barrier_trace()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 3197542363528531968 |
| PARAM_VALUE | 1 | cpu | (-1) |
| BUF_SIZE | 0 | s | 10 |
| STR_LEN | 0 | s | 9 |
| TERMINATED | 0 | s | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &rcu_state.barrier_mutex | ||
| HALF_LOCKED2 | &attr->mutex | ||
| HALF_LOCKED2 | &wg->device_update_lock | ||
| HALF_LOCKED2 | global &fullstop_mutex | ||
| HALF_LOCKED2 | global &init_lock | ||
| HALF_LOCKED2 | global &nfsd_mutex | ||
| HALF_LOCKED2 | global &pernet_ops_rwsem | ||
| HALF_LOCKED2 | global &rcu_fwd_mutex | ||
| HALF_LOCKED2 | global &rcu_state.nocb_mutex | ||
| HALF_LOCKED2 | global &slab_mutex | ||
| HALF_LOCKED2 | global &vboxsf_setup_mutex | ||
| TYPE_LOCK | (struct rcu_state)->barrier_mutex |
kernel/rcu/tree.c rcu_barrier() -> rcu_barrier_trace()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 540065397350776832 |
| PARAM_VALUE | 1 | cpu | (-1) |
| BUF_SIZE | 0 | s | 5 |
| STR_LEN | 0 | s | 4 |
| TERMINATED | 0 | s | 1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | flags | ||
| LOCK2 | global &rcu_state.barrier_lock | ||
| LOCK2 | global &rcu_state.barrier_mutex | ||
| HALF_LOCKED2 | &attr->mutex | ||
| HALF_LOCKED2 | &wg->device_update_lock | ||
| HALF_LOCKED2 | global &fullstop_mutex | ||
| HALF_LOCKED2 | global &init_lock | ||
| HALF_LOCKED2 | global &nfsd_mutex | ||
| HALF_LOCKED2 | global &pernet_ops_rwsem | ||
| HALF_LOCKED2 | global &rcu_fwd_mutex | ||
| HALF_LOCKED2 | global &rcu_state.nocb_mutex | ||
| HALF_LOCKED2 | global &slab_mutex | ||
| HALF_LOCKED2 | global &vboxsf_setup_mutex | ||
| TYPE_LOCK | (struct rcu_state)->barrier_lock | ||
| TYPE_LOCK | (struct rcu_state)->barrier_mutex |
kernel/rcu/tree.c rcu_barrier() -> rcu_barrier_trace()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 3083963537999302656 |
| PARAM_VALUE | 1 | cpu | 0-64 |
| BUF_SIZE | 0 | s | 3 |
| CAPPED_DATA | 1 | cpu | 1 |
| DATA_SOURCE | 1 | cpu | r find_next_bit |
| STR_LEN | 0 | s | 2 |
| TERMINATED | 0 | s | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &rcu_state.barrier_mutex | ||
| HALF_LOCKED2 | &attr->mutex | ||
| HALF_LOCKED2 | &wg->device_update_lock | ||
| HALF_LOCKED2 | global &fullstop_mutex | ||
| HALF_LOCKED2 | global &init_lock | ||
| HALF_LOCKED2 | global &nfsd_mutex | ||
| HALF_LOCKED2 | global &pernet_ops_rwsem | ||
| HALF_LOCKED2 | global &rcu_fwd_mutex | ||
| HALF_LOCKED2 | global &rcu_state.nocb_mutex | ||
| HALF_LOCKED2 | global &slab_mutex | ||
| HALF_LOCKED2 | global &vboxsf_setup_mutex | ||
| TYPE_LOCK | (struct rcu_state)->barrier_mutex |
kernel/rcu/tree.c rcu_barrier() -> rcu_barrier_trace()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 6392939121033793536 |
| PARAM_VALUE | 1 | cpu | 0-64 |
| BUF_SIZE | 0 | s | 13 |
| CAPPED_DATA | 1 | cpu | 1 |
| DATA_SOURCE | 1 | cpu | r find_next_bit |
| STR_LEN | 0 | s | 12 |
| TERMINATED | 0 | s | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &rcu_state.barrier_mutex | ||
| HALF_LOCKED2 | &attr->mutex | ||
| HALF_LOCKED2 | &wg->device_update_lock | ||
| HALF_LOCKED2 | global &fullstop_mutex | ||
| HALF_LOCKED2 | global &init_lock | ||
| HALF_LOCKED2 | global &nfsd_mutex | ||
| HALF_LOCKED2 | global &pernet_ops_rwsem | ||
| HALF_LOCKED2 | global &rcu_fwd_mutex | ||
| HALF_LOCKED2 | global &rcu_state.nocb_mutex | ||
| HALF_LOCKED2 | global &slab_mutex | ||
| HALF_LOCKED2 | global &vboxsf_setup_mutex | ||
| TYPE_LOCK | (struct rcu_state)->barrier_mutex |
kernel/rcu/tree.c rcu_barrier() -> rcu_barrier_trace()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 8411065415112269824 |
| PARAM_VALUE | 1 | cpu | 0-64 |
| BUF_SIZE | 0 | s | 8 |
| CAPPED_DATA | 1 | cpu | 1 |
| DATA_SOURCE | 1 | cpu | r find_next_bit |
| STR_LEN | 0 | s | 7 |
| TERMINATED | 0 | s | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &rcu_state.barrier_mutex | ||
| HALF_LOCKED2 | &attr->mutex | ||
| HALF_LOCKED2 | &wg->device_update_lock | ||
| HALF_LOCKED2 | global &fullstop_mutex | ||
| HALF_LOCKED2 | global &init_lock | ||
| HALF_LOCKED2 | global &nfsd_mutex | ||
| HALF_LOCKED2 | global &pernet_ops_rwsem | ||
| HALF_LOCKED2 | global &rcu_fwd_mutex | ||
| HALF_LOCKED2 | global &rcu_state.nocb_mutex | ||
| HALF_LOCKED2 | global &slab_mutex | ||
| HALF_LOCKED2 | global &vboxsf_setup_mutex | ||
| TYPE_LOCK | (struct rcu_state)->barrier_mutex |
kernel/rcu/tree.c rcu_barrier() -> rcu_barrier_trace()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 5095330517902127104 |
| PARAM_VALUE | 1 | cpu | (-1) |
| BUF_SIZE | 0 | s | 5 |
| STR_LEN | 0 | s | 4 |
| TERMINATED | 0 | s | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &rcu_state.barrier_mutex | ||
| HALF_LOCKED2 | &attr->mutex | ||
| HALF_LOCKED2 | &wg->device_update_lock | ||
| HALF_LOCKED2 | global &fullstop_mutex | ||
| HALF_LOCKED2 | global &init_lock | ||
| HALF_LOCKED2 | global &nfsd_mutex | ||
| HALF_LOCKED2 | global &pernet_ops_rwsem | ||
| HALF_LOCKED2 | global &rcu_fwd_mutex | ||
| HALF_LOCKED2 | global &rcu_state.nocb_mutex | ||
| HALF_LOCKED2 | global &slab_mutex | ||
| HALF_LOCKED2 | global &vboxsf_setup_mutex | ||
| TYPE_LOCK | (struct rcu_state)->barrier_mutex |
kernel/rcu/tree.c rcu_barrier_callback() -> rcu_barrier_trace()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 4076628811201286144 |
| PARAM_VALUE | 1 | cpu | (-1) |
| BUF_SIZE | 0 | s | 7 |
| STR_LEN | 0 | s | 6 |
| TERMINATED | 0 | s | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu |
kernel/rcu/tree.c rcu_barrier_callback() -> rcu_barrier_trace()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 3689766850755989504 |
| PARAM_VALUE | 1 | cpu | (-1) |
| BUF_SIZE | 0 | s | 3 |
| STR_LEN | 0 | s | 2 |
| TERMINATED | 0 | s | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu |
kernel/rcu/tree.c rcu_barrier_entrain() -> rcu_barrier_trace()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 276620478717267968 |
| PARAM_VALUE | 1 | cpu | (-1) |
| BUF_SIZE | 0 | s | 4 |
| STR_LEN | 0 | s | 3 |
| TERMINATED | 0 | s | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &rcu_state.barrier_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &rcu_state.barrier_mutex | ||
| TYPE_LOCK | (struct rcu_state)->barrier_lock |
kernel/rcu/tree.c rcu_barrier_entrain() -> rcu_barrier_trace()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | s | 8811924153534754816 |
| PARAM_VALUE | 1 | cpu | (-1) |
| BUF_SIZE | 0 | s | 6 |
| STR_LEN | 0 | s | 5 |
| TERMINATED | 0 | s | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &rcu_state.barrier_lock | ||
| HALF_LOCKED2 | &rdp->nocb_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &rcu_state.barrier_mutex | ||
| TYPE_LOCK | (struct rcu_state)->barrier_lock |