Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 xaddr 4096-ptr_max
PARAM_VALUE 1 port 0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 xaddr->a4 0-u32max
USER_DATA 3 family 0-u16max
LOCK2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 xaddr 4096-ptr_max
PARAM_VALUE 1 port 0
PARAM_VALUE 3 family 2,10
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 family 2,10
LOCK2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 xaddr 4096-ptr_max
PARAM_VALUE 1 port 0
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 xaddr 3569661584522457088,3764265086708674560
PARAM_VALUE 1 port 0
PARAM_VALUE 3 family 2,10
DATA_SOURCE 0 xaddr $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 xaddr 4096-ptr_max
PARAM_VALUE 1 port 0
PARAM_VALUE 3 family 2,10
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 family 2,10
LOCK2 rcu_read
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex

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

Type Parameter Key Value
PARAM_VALUE 0 xaddr 4096-ptr_max
PARAM_VALUE 1 port 0
PARAM_VALUE 3 family 2,10
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 family 2,10
LOCK2 rcu_read
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex