Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/ipmr_base.c mr_table_alloc() -> mr_table_alloc param 4()

Type Parameter Key Value
PARAM_VALUE 0 mrt 4096-ptr_max
PARAM_VALUE 0 mrt->id 0-999999999
PARAM_VALUE 0 mrt->ipmr_expire_timer.entry.pprev 0
PARAM_VALUE 0 mrt->ipmr_expire_timer.flags 0-4194302
PARAM_VALUE 0 mrt->ipmr_expire_timer.lockdep_map->name 0-255
PARAM_VALUE 0 mrt->mfc_cache_list.next 4096-ptr_max
PARAM_VALUE 0 mrt->mfc_cache_list.next->next 4096-ptr_max
PARAM_VALUE 0 mrt->mfc_cache_list.prev 4096-ptr_max
PARAM_VALUE 0 mrt->mfc_cache_list.prev->next 4096-ptr_max
PARAM_VALUE 0 mrt->mfc_cache_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 mrt->mfc_hash.ht.key_len 0-u16max
PARAM_VALUE 0 mrt->mfc_hash.ht.max_elems 0-2147483646,2147483648
PARAM_VALUE 0 mrt->mfc_hash.ht.nelems.counter 0
PARAM_VALUE 0 mrt->mfc_hash.ht.p.insecure_elasticity 0
PARAM_VALUE 0 mrt->mfc_hash.ht.p.min_size 4-u16max
PARAM_VALUE 0 mrt->mfc_hash.ht.rhlist 1
PARAM_VALUE 0 mrt->mfc_hash.ht.run_work.func 0
PARAM_VALUE 0 mrt->mfc_hash.ht.tbl 0,4096-ptr_max
PARAM_VALUE 0 mrt->mfc_hash.ht.tbl->rcu.func (-1)
PARAM_VALUE 0 mrt->mfc_hash.ht.tbl->size 4-u16max
PARAM_VALUE 0 mrt->mfc_hash.ht.tbl->walkers.next 4096-ptr_max
PARAM_VALUE 0 mrt->mfc_hash.ht.tbl->walkers.prev 4096-ptr_max
PARAM_VALUE 0 mrt->mfc_unres_queue.next 4096-ptr_max
PARAM_VALUE 0 mrt->mfc_unres_queue.next->next 4096-ptr_max
PARAM_VALUE 0 mrt->mfc_unres_queue.prev 4096-ptr_max
PARAM_VALUE 0 mrt->mfc_unres_queue.prev->next 4096-ptr_max
PARAM_VALUE 0 mrt->mfc_unres_queue.prev->prev 4096-ptr_max
PARAM_VALUE 0 mrt->mroute_reg_vif_num (-1)
PARAM_VALUE 0 mrt->net.net 4096-ptr_max
PARAM_VALUE 0 mrt->ops.rht_params 4096-ptr_max
PARAM_VALUE 1 net 4096-ptr_max
BUF_SIZE 0 mrt 4288
BUF_SIZE 1 net (-1),1-s32max
BUF_SIZE 1 net (-1),1-s32max
BUF_SIZE 1 net->key_domain (-1),24
BUF_SIZE 1 net->ucounts (-1),184
CAPPED_DATA 0 mrt->id 1
DATA_SOURCE 0 mrt r _kzalloc_noprof
DATA_SOURCE 1 net $0
NOSPEC 0 mrt->id
MEM_ZERO 0 &mrt->mfc_hash.ht
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 mrt->id 0-252,254-999999999[c]
NO_OVERFLOW_SIMPLE 0 mrt->mfc_hash.ht.tbl->size
UNITS 1 net unit_byte
HALF_LOCKED2 global &pernet_ops_rwsem
HALF_LOCKED2 global &rtnl_mutex