Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/xfrm/xfrm_state.c xfrm_user_policy() -> (struct xfrm_translator)->xlate_user_policy_sockptr()

Type Parameter Key Value
PARAM_VALUE 0 pdata32 5131932965837279232
PARAM_VALUE 0 *pdata32 1-ptr_max
PARAM_VALUE 1 optlen 1-4096
DATA_SOURCE 1 optlen $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 optlen 1-4096
HALF_LOCKED2 sk