Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/xfrm/xfrm_compat.c xfrm_xlate64() -> xfrm_nla_cpy()

Type Parameter Key Value
PARAM_VALUE 0 dst->data_len 0
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 1 src->nla_len 4-u16max
PARAM_VALUE 2 len 0-65531
CAPPED_DATA 1 src->nla_len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 0 dst $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 src->nla_len 4-u16max[c]
USER_DATA 1 src->nla_type 0-u16max
USER_DATA 2 len 0-65531[c]
UNITS 0 dst unit_byte
USER_PTR 1 src

net/xfrm/xfrm_compat.c xfrm_xlate64_attr() -> xfrm_nla_cpy()

Type Parameter Key Value
PARAM_VALUE 0 dst->data_len 0
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 1 src->nla_len 4-u16max
PARAM_VALUE 1 src->nla_type 0-5
PARAM_VALUE 2 len 0-65531
CAPPED_DATA 1 src->nla_len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 src->nla_len 4-u16max[c]
USER_DATA 1 src->nla_type 0-5
USER_DATA 2 len 0-65531[c]
UNITS 0 dst unit_byte
USER_PTR 1 src

net/xfrm/xfrm_compat.c xfrm_xlate64_attr() -> xfrm_nla_cpy()

Type Parameter Key Value
PARAM_VALUE 0 dst->data_len 0
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 1 src->nla_len 4-u16max
PARAM_VALUE 1 src->nla_type 6
PARAM_VALUE 2 len 220
CAPPED_DATA 1 src->nla_len 1
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 src->nla_len 4-u16max[c]
USER_DATA 1 src->nla_type 6
UNITS 0 dst unit_byte
UNITS 2 len unit_byte
USER_PTR 1 src

net/xfrm/xfrm_compat.c xfrm_xlate64_attr() -> xfrm_nla_cpy()

Type Parameter Key Value
PARAM_VALUE 0 dst->data_len 0
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 1 src->nla_len 4-u16max
PARAM_VALUE 1 src->nla_type 7
PARAM_VALUE 2 len 164
CAPPED_DATA 1 src->nla_len 1
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 src->nla_len 4-u16max[c]
USER_DATA 1 src->nla_type 7
UNITS 0 dst unit_byte
UNITS 2 len unit_byte
USER_PTR 1 src

net/xfrm/xfrm_compat.c xfrm_xlate64_attr() -> xfrm_nla_cpy()

Type Parameter Key Value
PARAM_VALUE 0 dst->data_len 0
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 1 src->nla_len 4-u16max
PARAM_VALUE 1 src->nla_type 8
PARAM_VALUE 2 len 0-65531
CAPPED_DATA 1 src->nla_len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 src->nla_len 4-u16max[c]
USER_DATA 1 src->nla_type 8
USER_DATA 2 len 0-65531[c]
UNITS 0 dst unit_byte
USER_PTR 1 src

net/xfrm/xfrm_compat.c xfrm_xlate64_attr() -> xfrm_nla_cpy()

Type Parameter Key Value
PARAM_VALUE 0 dst->data_len 0
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 1 src->nla_len 4-u16max
PARAM_VALUE 1 src->nla_type 10-14
PARAM_VALUE 2 len 0-65531
CAPPED_DATA 1 src->nla_len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 src->nla_len 4-u16max[c]
USER_DATA 1 src->nla_type 10-14
USER_DATA 2 len 0-65531[c]
UNITS 0 dst unit_byte
USER_PTR 1 src

net/xfrm/xfrm_compat.c xfrm_xlate64_attr() -> xfrm_nla_cpy()

Type Parameter Key Value
PARAM_VALUE 0 dst->data_len 0
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 1 src->nla_len 4-u16max
PARAM_VALUE 1 src->nla_type 16-26,28-41
PARAM_VALUE 2 len 0-65531
CAPPED_DATA 1 src->nla_len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 src->nla_len 4-u16max[c]
USER_DATA 1 src->nla_type 16-26,28-41
USER_DATA 2 len 0-65531[c]
UNITS 0 dst unit_byte
USER_PTR 1 src