Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

ipc/namespace.c create_ipc_ns() -> msg_init_ns()

Type Parameter Key Value
PARAM_VALUE 0 ns 4096-ptr_max
PARAM_VALUE 0 ns->ipc_set.dir.header.parent 0
PARAM_VALUE 0 ns->ipc_set.dir.header.parent->root.rb_node 4096-ptr_max
PARAM_VALUE 0 ns->ipc_set.dir.header.root->lookup 0,5392269646949294080,6047126420687204352,6897604583430860800,7236783754730508288,8683046458472632320
PARAM_VALUE 0 ns->ipc_set.dir.header.root->permissions 0,38113765950406656,1571376314402762752,2172075278380670976,4112528104768065536,8240891039179014144
PARAM_VALUE 0 ns->ipc_set.dir.header.root->set_ownership 0,4425853933097160704,4587890941347561472,4931669174917259264,6223890035077656576
PARAM_VALUE 0 ns->ipc_set.dir.header.type 0-1
PARAM_VALUE 0 ns->ipc_set.dir.header.used 0
PARAM_VALUE 0 ns->ipc_set.is_seen 331220681391255552
PARAM_VALUE 0 ns->ipc_sysctls 4096-ptr_max
PARAM_VALUE 0 ns->ipc_sysctls->count 1
PARAM_VALUE 0 ns->ipc_sysctls->ctl_table_arg 4096-ptr_max
PARAM_VALUE 0 ns->ipc_sysctls->ctl_table_size 12
PARAM_VALUE 0 ns->ipc_sysctls->nreg 1
PARAM_VALUE 0 ns->ipc_sysctls->parent 4096-ptr_max
PARAM_VALUE 0 ns->ipc_sysctls->parent->root.rb_node 4096-ptr_max
PARAM_VALUE 0 ns->ipc_sysctls->root->lookup 0,5392269646949294080,6047126420687204352,6897604583430860800,7236783754730508288,8683046458472632320
PARAM_VALUE 0 ns->ipc_sysctls->root->permissions 0,38113765950406656,1571376314402762752,2172075278380670976,4112528104768065536,8240891039179014144
PARAM_VALUE 0 ns->ipc_sysctls->root->set_ownership 0,4425853933097160704,4587890941347561472,4931669174917259264,6223890035077656576
PARAM_VALUE 0 ns->ipc_sysctls->set 4096-ptr_max
PARAM_VALUE 0 ns->ipc_sysctls->type 1
PARAM_VALUE 0 ns->ipc_sysctls->unregistering 0
PARAM_VALUE 0 ns->ipc_sysctls->used 0
PARAM_VALUE 0 ns->mq_mnt 4096-ptr_max
PARAM_VALUE 0 ns->mq_msg_default 10
PARAM_VALUE 0 ns->mq_msg_max 10
PARAM_VALUE 0 ns->mq_msgsize_default 8192
PARAM_VALUE 0 ns->mq_msgsize_max 8192
PARAM_VALUE 0 ns->mq_queues_count 0
PARAM_VALUE 0 ns->mq_queues_max 256
PARAM_VALUE 0 ns->mq_set.dir.header.parent 0
PARAM_VALUE 0 ns->mq_set.dir.header.parent->root.rb_node 4096-ptr_max
PARAM_VALUE 0 ns->mq_set.dir.header.root->lookup 0,5392269646949294080,6047126420687204352,6897604583430860800,7236783754730508288,8683046458472632320
PARAM_VALUE 0 ns->mq_set.dir.header.root->permissions 0,38113765950406656,1571376314402762752,2172075278380670976,4112528104768065536,8240891039179014144
PARAM_VALUE 0 ns->mq_set.dir.header.root->set_ownership 0,4425853933097160704,4587890941347561472,4931669174917259264,6223890035077656576
PARAM_VALUE 0 ns->mq_set.dir.header.type 0-1
PARAM_VALUE 0 ns->mq_set.dir.header.used 0
PARAM_VALUE 0 ns->mq_set.is_seen 256969526480261120
PARAM_VALUE 0 ns->mq_sysctls 4096-ptr_max
PARAM_VALUE 0 ns->mq_sysctls->count 1
PARAM_VALUE 0 ns->mq_sysctls->ctl_table_arg 4096-ptr_max
PARAM_VALUE 0 ns->mq_sysctls->ctl_table_size 5
PARAM_VALUE 0 ns->mq_sysctls->nreg 1
PARAM_VALUE 0 ns->mq_sysctls->parent 4096-ptr_max
PARAM_VALUE 0 ns->mq_sysctls->parent->root.rb_node 4096-ptr_max
PARAM_VALUE 0 ns->mq_sysctls->root->lookup 0,5392269646949294080,6047126420687204352,6897604583430860800,7236783754730508288,8683046458472632320
PARAM_VALUE 0 ns->mq_sysctls->root->permissions 0,38113765950406656,1571376314402762752,2172075278380670976,4112528104768065536,8240891039179014144
PARAM_VALUE 0 ns->mq_sysctls->root->set_ownership 0,4425853933097160704,4587890941347561472,4931669174917259264,6223890035077656576
PARAM_VALUE 0 ns->mq_sysctls->set 4096-ptr_max
PARAM_VALUE 0 ns->mq_sysctls->type 1
PARAM_VALUE 0 ns->mq_sysctls->unregistering 0
PARAM_VALUE 0 ns->mq_sysctls->used 0
PARAM_VALUE 0 ns->ns.__ns_ref_active.counter 0-1
PARAM_VALUE 0 ns->ns.ns_owner_node.ns_list_entry.next 4096-ptr_max
PARAM_VALUE 0 ns->ns.ns_owner_node.ns_list_entry.next->next 4096-ptr_max
PARAM_VALUE 0 ns->ns.ns_owner_node.ns_list_entry.prev 4096-ptr_max
PARAM_VALUE 0 ns->ns.ns_owner_node.ns_list_entry.prev->next 4096-ptr_max
PARAM_VALUE 0 ns->ns.ns_owner_node.ns_list_entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 ns->ns.ns_owner_root.ns_list_head.next 4096-ptr_max
PARAM_VALUE 0 ns->ns.ns_owner_root.ns_list_head.next->next 4096-ptr_max
PARAM_VALUE 0 ns->ns.ns_owner_root.ns_list_head.prev 4096-ptr_max
PARAM_VALUE 0 ns->ns.ns_owner_root.ns_list_head.prev->next 4096-ptr_max
PARAM_VALUE 0 ns->ns.ns_owner_root.ns_list_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 ns->ns.ns_tree_node.ns_list_entry.next 4096-ptr_max
PARAM_VALUE 0 ns->ns.ns_tree_node.ns_list_entry.next->next 4096-ptr_max
PARAM_VALUE 0 ns->ns.ns_tree_node.ns_list_entry.prev 4096-ptr_max
PARAM_VALUE 0 ns->ns.ns_tree_node.ns_list_entry.prev->next 4096-ptr_max
PARAM_VALUE 0 ns->ns.ns_tree_node.ns_list_entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 ns->ns.ns_unified_node.ns_list_entry.next 4096-ptr_max
PARAM_VALUE 0 ns->ns.ns_unified_node.ns_list_entry.next->next 4096-ptr_max
PARAM_VALUE 0 ns->ns.ns_unified_node.ns_list_entry.prev 4096-ptr_max
PARAM_VALUE 0 ns->ns.ns_unified_node.ns_list_entry.prev->next 4096-ptr_max
PARAM_VALUE 0 ns->ns.ns_unified_node.ns_list_entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 ns->ns.stashed 0
PARAM_VALUE 0 ns->ucounts 4096-ptr_max
BUF_SIZE 0 ns 2944
BUF_SIZE 0 ns->ucounts (-1),192
DATA_SOURCE 0 ns r _kzalloc_noprof
MEM_ZERO 0 &ns->ipc_set
MEM_ZERO 0 &ns->mq_set
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &tsk->signal->exec_update_lock

ipc/msg.c msg_init() -> msg_init_ns()

Type Parameter Key Value
PARAM_VALUE 0 ns 5749214724423630848
NOCHECK_CALL