Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/key/af_key.c __pfkey_xfrm_state2msg() -> pfkey_sockaddr_size()

Type Parameter Key Value
NOSPEC 0 family
NOSPEC 0 family
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 family 2,10[c]
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &x->lock
HALF_LOCKED2 rcu_read

net/key/af_key.c pfkey_send_acquire() -> pfkey_sockaddr_size()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 family 0-u16max
LOCK2 rcu_read

net/key/af_key.c pfkey_send_migrate() -> pfkey_sockaddr_size()

Type Parameter Key Value
PARAM_VALUE 0 family 2,10
CAPPED_DATA 0 family 1
NOSPEC 0 family
NOSPEC 0 family
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 family 2,10[c]
LOCK2 rcu_read
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex

net/key/af_key.c pfkey_send_new_mapping() -> pfkey_sockaddr_size()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

net/key/af_key.c pfkey_sockaddr_fill_zero_tail() -> pfkey_sockaddr_size()

Type Parameter Key Value
DATA_SOURCE 0 family $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 family 0-u16max
LOCK2 rcu_read

net/key/af_key.c pfkey_xfrm_policy2msg() -> pfkey_sockaddr_size()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 family 2,10
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &net->xfrm.xfrm_policy_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/key/af_key.c pfkey_xfrm_policy2msg_size() -> pfkey_sockaddr_size()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 family 2,10
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &net->xfrm.xfrm_policy_lock
HALF_LOCKED2 &xp->lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read