Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/nstree.c do_listns() -> legitimize_ns()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kls | 7046867824082903040 |
| PARAM_VALUE | 0 | kls->first_ns | 0,4096-ptr_max |
| PARAM_VALUE | 0 | kls->first_ns->__ns_ref.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | kls->nr_ns_ids | 0-1000000 |
| PARAM_VALUE | 0 | kls->user_ns | 0 |
| PARAM_VALUE | 0 | kls->userns_capable | 0 |
| PARAM_VALUE | 1 | candidate | 4096-ptr_max |
| DATA_SOURCE | 0 | kls | $0 |
| USER_DATA | 0 | kls->last_ns_id | 0-u64max |
| USER_DATA | 0 | kls->nr_ns_ids | 0-1000000 |
| USER_DATA | 0 | kls->ns_type | 0-u32max |
| USER_DATA | 0 | kls->user_ns_id | 0-u64max |
| LOCK2 | rcu_read |
kernel/nstree.c do_listns_userns() -> legitimize_ns()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | kls | 7046867824082903040 |
| PARAM_VALUE | 0 | kls->first_ns | 0,4096-ptr_max |
| PARAM_VALUE | 0 | kls->first_ns->__ns_ref.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | kls->nr_ns_ids | 0-1000000 |
| PARAM_VALUE | 0 | kls->user_ns | 4096-ptr_max |
| PARAM_VALUE | 0 | kls->user_ns_id | 1-u64max |
| PARAM_VALUE | 1 | candidate | 4096-ptr_max |
| DATA_SOURCE | 0 | kls | $0 |
| USER_DATA | 0 | kls->last_ns_id | 0-u64max |
| USER_DATA | 0 | kls->nr_ns_ids | 0-1000000 |
| USER_DATA | 0 | kls->ns_type | 0-u32max |
| USER_DATA | 0 | kls->user_ns_id | 1-18446744073709551614 |
| LOCK2 | rcu_read |