Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/xfrm/xfrm_compat.c xfrm_xlate32() -> xfrm_attr_cpy32()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 pos 8695012968576049152
PARAM_VALUE 2 src 1-u64max
PARAM_VALUE 3 size 16-2147483679
PARAM_VALUE 4 copy_len 0-u16max
PARAM_VALUE 5 payload 0-u16max
BUF_SIZE 0 dst 16-s32max
DATA_SOURCE 0 dst $0
DATA_SOURCE 3 size $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 size 17-2147483663[c]
UNITS 3 size unit_byte
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read

net/xfrm/xfrm_compat.c xfrm_xlate32_attr() -> xfrm_attr_cpy32()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 pos 8695012968576049152
PARAM_VALUE 2 src 4096-ptr_max
PARAM_VALUE 3 size 16-2147483679
BUF_SIZE 0 dst 16-s32max
BUF_SIZE 0 dst 16-s32max
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 pos $2
DATA_SOURCE 2 src $1
DATA_SOURCE 3 size $3
PARAM_COMPARE 4 copy_len != $5
PARAM_COMPARE 5 payload != $4
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 size 17-2147483663[c]
UNITS 3 size unit_byte
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read

net/xfrm/xfrm_compat.c xfrm_xlate32_attr() -> xfrm_attr_cpy32()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 1 pos 8695012968576049152
PARAM_VALUE 2 src 4096-ptr_max
PARAM_VALUE 3 size 16-2147483679
PARAM_VALUE 4 copy_len 0-u16max
PARAM_VALUE 5 payload 0-u16max
BUF_SIZE 0 dst 16-s32max
BUF_SIZE 0 dst 16-s32max
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 pos $2
DATA_SOURCE 2 src $1
DATA_SOURCE 3 size $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 size 17-2147483663[c]
UNITS 3 size unit_byte
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read