Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/xfrm/xfrm_policy.c xfrm_migrate() -> km_migrate()

Type Parameter Key Value
PARAM_VALUE 0 sel 4096-ptr_max
PARAM_VALUE 0 sel->family 2,10
PARAM_VALUE 1 dir 0-2
PARAM_VALUE 2 type 0-1
PARAM_VALUE 3 m 4096-ptr_max
PARAM_VALUE 4 num_migrate 1-6
PARAM_VALUE 5 k 0,5745216177684480000,5837829296212074496
PARAM_VALUE 6 net 4096-ptr_max
PARAM_VALUE 6 net->xfrm.xfrm_state_lock.rlock.dep_map->name 0-255
BUF_SIZE 3 m 864
BUF_SIZE 3 m 864
BUF_SIZE 5 k 0,40
BUF_SIZE 5 k 0,40
BUF_SIZE 7 encap (-1)-0,24
BUF_SIZE 7 encap (-1)-0,24
CAPPED_DATA 2 type 1
CAPPED_DATA 4 num_migrate 1
DATA_SOURCE 0 sel $0
DATA_SOURCE 1 dir $1
DATA_SOURCE 2 type $2
DATA_SOURCE 3 m $3
DATA_SOURCE 4 num_migrate $4
DATA_SOURCE 5 k $5
DATA_SOURCE 6 net $6
DATA_SOURCE 7 encap $7
FUZZY_MAX 1 dir 2
BIT_INFO 5 k 0x0,0x5fbf3bfc94b6e000
BIT_INFO 5 k 0x0,0x5fbf3bfc94b6e000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 sel->dport 0-u16max
USER_DATA 0 sel->dport_mask 0-u16max
USER_DATA 0 sel->family 2,10
USER_DATA 0 sel->ifindex s32min-s32max
USER_DATA 0 sel->prefixlen_d 0-255
USER_DATA 0 sel->prefixlen_s 0-255
USER_DATA 0 sel->proto 0-255
USER_DATA 0 sel->sport 0-u16max
USER_DATA 0 sel->sport_mask 0-u16max
USER_DATA 0 sel->user 0-u32max
USER_DATA 1 dir 0-2
USER_DATA 3 m->mode 0-255
USER_DATA 3 m->new_family 0-u16max
USER_DATA 3 m->old_family 0-u16max
USER_DATA 3 m->old_reqid 0-u32max
USER_DATA 3 m->proto 0-255
USER_DATA 5 k->family 0-u16max
USER_DATA 5 k->reserved 0-u32max
UNITS 6 net unit_byte
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex