Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv6/seg6.c seg6_net_init() -> seg6_hmac_net_init()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->ipv6.seg6_data 4096-ptr_max
PARAM_VALUE 0 net->ipv6.seg6_data->lock.first_waiter 0
PARAM_VALUE 0 net->ipv6.seg6_data->lock.magic 4096-ptr_max
PARAM_VALUE 0 net->ipv6.seg6_data->lock.owner.counter 0
PARAM_VALUE 0 net->ipv6.seg6_data->tun_src 4096-ptr_max
BUF_SIZE 0 net->ipv6.seg6_data 568
BUF_SIZE 0 net->key_domain (-1),24
BUF_SIZE 0 net->ucounts (-1),184
DATA_SOURCE 0 net $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &pernet_ops_rwsem