Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
kernel/acct.c __do_sys_acct() -> pin_kill()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CAPABLE | 0 | 20 | |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
kernel/acct.c __do_sys_acct() -> pin_kill()
| Type | Parameter | Key | Value |
|---|---|---|---|
| CAPABLE | 0 | 20 | |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
kernel/acct.c acct_exit_ns() -> pin_kill()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | global &system_transition_mutex |
kernel/acct.c acct_on() -> pin_kill()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p->kill | 5736986432025395200 |
| PARAM_VALUE | 0 | p->m_list.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | p->s_list.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | p->wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | p->wait.head.prev | 4096-ptr_max |
| CAPABLE | 0 | 20 | |
| NOCHECK_CALL | |||
| LOCK2 | global &acct_on_mutex | ||
| LOCK2 | rcu_read |
fs/fs_pin.c group_pin_kill() -> pin_kill()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &fc->uapi_mutex | ||
| HALF_LOCKED2 | &sb->s_umount |
fs/fs_pin.c mnt_pin_kill() -> pin_kill()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |