Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/nsproxy.c __do_sys_setns() -> put_nsset()

Type Parameter Key Value
PARAM_VALUE 0 nsset 86723576546930688
PARAM_VALUE 0 nsset->nsproxy 0,4096-ptr_max
NOCHECK_CALL
USER_DATA 0 nsset->flags 1-131071,131073-2147483646

kernel/nsproxy.c __do_sys_setns() -> put_nsset()

Type Parameter Key Value
PARAM_VALUE 0 nsset 86723576546930688
PARAM_VALUE 0 nsset->nsproxy 0,4096-ptr_max
NOCHECK_CALL
USER_DATA 0 nsset->flags 1-131071,131073-2147483646

kernel/nsproxy.c prepare_nsset() -> put_nsset()

Type Parameter Key Value
PARAM_VALUE 0 nsset 86723576546930688
PARAM_VALUE 0 nsset->flags 0
PARAM_VALUE 0 nsset->fs 0
PARAM_VALUE 0 nsset->nsproxy 4096-ptr_max
PARAM_VALUE 0 nsset->nsproxy->cgroup_ns 1-ptr_max
PARAM_VALUE 0 nsset->nsproxy->count.refs.counter 1
PARAM_VALUE 0 nsset->nsproxy->ipc_ns 0-ptr_max
PARAM_VALUE 0 nsset->nsproxy->mnt_ns 1-ptr_max
PARAM_VALUE 0 nsset->nsproxy->mnt_ns->ns.__ns_ref.refs.counter s32min-s32max
PARAM_VALUE 0 nsset->nsproxy->net_ns 0-ptr_max
PARAM_VALUE 0 nsset->nsproxy->pid_ns_for_children 0-ptr_max
PARAM_VALUE 0 nsset->nsproxy->time_ns_for_children 0-ptr_max
PARAM_VALUE 0 nsset->nsproxy->uts_ns 1-ptr_max
DATA_SOURCE 0 nsset $1
NOCHECK_CALL