Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/key/af_key.c pfkey_compile_policy() -> parse_ipsecrequests()
| 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 | 2,10 |
| PARAM_VALUE | 0 | xp->lft.hard_byte_limit | u64max |
| PARAM_VALUE | 0 | xp->lft.hard_packet_limit | u64max |
| PARAM_VALUE | 0 | xp->lft.soft_byte_limit | u64max |
| PARAM_VALUE | 0 | xp->lft.soft_packet_limit | 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 |
| PARAM_VALUE | 1 | pol | 4096-ptr_max |
| PARAM_VALUE | 1 | pol->sadb_x_policy_dir | 1-2 |
| PARAM_VALUE | 1 | pol->sadb_x_policy_type | 2 |
| BUF_SIZE | 0 | xp | 1064 |
| BUF_SIZE | 1 | pol | (-1),1-4096 |
| BUF_SIZE | 1 | pol | (-1),1-4096 |
| DATA_SOURCE | 0 | xp | r xfrm_policy_alloc |
| DATA_SOURCE | 1 | pol | $2 |
| FUZZY_MAX | 1 | pol->sadb_x_policy_dir | 2 |
| HARD_MAX | 1 | pol->sadb_x_policy_dir | 2 |
| 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 | 0-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_PTR | 1 | pol | |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | sk |
net/key/af_key.c pfkey_spdadd() -> parse_ipsecrequests()
| 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->selector.family | 0,2,10 |
| PARAM_VALUE | 0 | xp->selector.proto | 0-254 |
| 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 |
| PARAM_VALUE | 1 | pol | 4096-ptr_max |
| PARAM_VALUE | 1 | pol->sadb_x_policy_dir | 1-3 |
| PARAM_VALUE | 1 | pol->sadb_x_policy_type | 2 |
| BUF_SIZE | 0 | xp | 1064 |
| DATA_SOURCE | 0 | xp | r xfrm_policy_alloc |
| 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 |
| HARD_MAX | 1 | pol->sadb_x_policy_dir | 3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &net->xfrm.xfrm_cfg_mutex | ||
| HALF_LOCKED2 | &vq->mutex | ||
| HALF_LOCKED2 | sk | ||
| TYPE_LOCK | (struct netns_xfrm)->xfrm_cfg_mutex |