Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
kernel/locking/percpu-rwsem.c percpu_up_write() -> rcu_sync_exit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rsp | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &f->lock | ||
| HALF_LOCKED2 | &inode->i_mapping->invalidate_lock | ||
| HALF_LOCKED2 | &tty->ldisc_sem | ||
| HALF_LOCKED2 | &uprobe->register_rwsem | ||
| HALF_LOCKED2 | global &cpu_add_remove_lock |
kernel/cgroup/cgroup.c cgroup_favor_dynmods() -> rcu_sync_exit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rsp | 2172410039871291392 |
| PARAM_VALUE | 0 | rsp->cb_head.func | 1-u64max |
| PARAM_VALUE | 0 | rsp->cb_head.next | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |