Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/key/af_key.c parse_ipsecrequests() -> parse_ipsecrequest()

Type Parameter Key Value
PARAM_VALUE 0 xp 4096-ptr_max
PARAM_VALUE 0 xp->action 0
PARAM_VALUE 0 xp->bydst.next 0
PARAM_VALUE 0 xp->bydst.pprev 0
PARAM_VALUE 0 xp->byidx.next 0
PARAM_VALUE 0 xp->byidx.pprev 0
PARAM_VALUE 0 xp->family 0,2,10
PARAM_VALUE 0 xp->lft.hard_byte_limit 1-u64max
PARAM_VALUE 0 xp->lft.hard_packet_limit 1-u32max,u64max
PARAM_VALUE 0 xp->lft.soft_byte_limit 1-u64max
PARAM_VALUE 0 xp->lft.soft_packet_limit 1-u32max,u64max
PARAM_VALUE 0 xp->lock.magic 3736018669
PARAM_VALUE 0 xp->lock.owner (-1)
PARAM_VALUE 0 xp->lock.owner_cpu u32max
PARAM_VALUE 0 xp->polq.hold_queue.next 4096-ptr_max
PARAM_VALUE 0 xp->polq.hold_queue.prev 4096-ptr_max
PARAM_VALUE 0 xp->polq.hold_queue.qlen 0
PARAM_VALUE 0 xp->polq.hold_timer.entry.pprev 0
PARAM_VALUE 0 xp->polq.hold_timer.flags 0-4194302
PARAM_VALUE 0 xp->polq.hold_timer.lockdep_map->name 0-255
PARAM_VALUE 0 xp->refcnt.refs.counter 1
PARAM_VALUE 0 xp->timer.entry.pprev 0
PARAM_VALUE 0 xp->timer.flags 0-4194302
PARAM_VALUE 0 xp->timer.lockdep_map->name 0-255
PARAM_VALUE 0 xp->walk.all.next 4096-ptr_max
PARAM_VALUE 0 xp->walk.all.next->next 4096-ptr_max
PARAM_VALUE 0 xp->walk.all.prev 4096-ptr_max
PARAM_VALUE 0 xp->walk.all.prev->next 4096-ptr_max
PARAM_VALUE 0 xp->walk.all.prev->prev 4096-ptr_max
PARAM_VALUE 0 xp->xfrm_nr 0-6
PARAM_VALUE 1 pol 4096-ptr_max
PARAM_VALUE 1 pol->sadb_x_policy_dir 1-3
PARAM_VALUE 1 pol->sadb_x_policy_len 2-u16max
PARAM_VALUE 1 pol->sadb_x_policy_type 2
PARAM_VALUE 2 rq 4096-ptr_max
PARAM_VALUE 2 rq->sadb_x_ipsecrequest_len 16-u16max
BUF_SIZE 0 xp 1064
BUF_SIZE 1 pol (-1),1-4096
BUF_SIZE 1 pol (-1),1-4096
CAPPED_DATA 2 rq->sadb_x_ipsecrequest_len 1
DATA_SOURCE 0 xp $0
DATA_SOURCE 1 pol $1
FUZZY_MAX 0 xp->lft.hard_byte_limit u64max
FUZZY_MAX 0 xp->lft.hard_packet_limit u64max
FUZZY_MAX 0 xp->lft.soft_byte_limit u64max
FUZZY_MAX 0 xp->lft.soft_packet_limit u64max
FUZZY_MAX 1 pol->sadb_x_policy_dir 2
FUZZY_MAX 1 pol->sadb_x_policy_len 2
NOSPEC 2 rq->sadb_x_ipsecrequest_len
HARD_MAX 1 pol->sadb_x_policy_dir 3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 pol->sadb_x_policy_dir 1-2[u]
USER_DATA 1 pol->sadb_x_policy_exttype 0-u16max[u]
USER_DATA 1 pol->sadb_x_policy_id 0-u32max[u]
USER_DATA 1 pol->sadb_x_policy_len 2-u16max[u]
USER_DATA 1 pol->sadb_x_policy_priority 0-u32max[u]
USER_DATA 1 pol->sadb_x_policy_reserved 0-255[u]
USER_DATA 2 rq->sadb_x_ipsecrequest_len 16-u16max[u]
USER_DATA 2 rq->sadb_x_ipsecrequest_level 0-255[u]
USER_DATA 2 rq->sadb_x_ipsecrequest_mode 0-255[u]
USER_DATA 2 rq->sadb_x_ipsecrequest_proto 0-u16max[u]
USER_DATA 2 rq->sadb_x_ipsecrequest_reqid 0-u32max[u]
USER_DATA 2 rq->sadb_x_ipsecrequest_reserved1 0-u16max[u]
USER_DATA 2 rq->sadb_x_ipsecrequest_reserved2 0-u32max[u]
UNITS 2 rq unit_byte
USER_PTR 1 pol
USER_PTR 2 rq
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 rcu_read