Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/xfrm/xfrm_policy.c xfrm_policy_insert() -> xfrm_policy_requeue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | old | 1-ptr_max |
| PARAM_VALUE | 0 | old->security | 0,4096-ptr_max |
| PARAM_VALUE | 1 | new | 4096-ptr_max |
| PARAM_VALUE | 1 | new->action | 0-1 |
| PARAM_VALUE | 1 | new->bydst.next->pprev | 4096-ptr_max |
| PARAM_VALUE | 1 | new->bydst.pprev | 4096-ptr_max |
| PARAM_VALUE | 1 | new->byidx.next | 0 |
| PARAM_VALUE | 1 | new->byidx.pprev | 0 |
| PARAM_VALUE | 1 | new->family | 0,2,10 |
| PARAM_VALUE | 1 | new->lock.magic | 3736018669 |
| PARAM_VALUE | 1 | new->lock.owner | (-1) |
| PARAM_VALUE | 1 | new->lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | new->polq.hold_queue.next | 4096-ptr_max |
| PARAM_VALUE | 1 | new->polq.hold_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | new->polq.hold_queue.qlen | 0 |
| PARAM_VALUE | 1 | new->polq.hold_timer.entry.pprev | 0 |
| PARAM_VALUE | 1 | new->polq.hold_timer.flags | 0-4194302 |
| PARAM_VALUE | 1 | new->polq.hold_timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 1 | new->selector.family | 0,2,10 |
| PARAM_VALUE | 1 | new->timer.entry.pprev | 0 |
| PARAM_VALUE | 1 | new->timer.flags | 0-4194302 |
| PARAM_VALUE | 1 | new->timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 1 | new->walk.all.next | 4096-ptr_max |
| PARAM_VALUE | 1 | new->walk.all.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | new->walk.all.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | new->walk.all.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | new->walk.all.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | new->xfrm_nr | 0-6 |
| PARAM_VALUE | 1 | new->xp_net.net | 4096-ptr_max |
| PARAM_VALUE | 1 | new->xp_net.net->xfrm.policy_all.next | 4096-ptr_max |
| PARAM_VALUE | 1 | new->xp_net.net->xfrm.policy_all.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | new->xp_net.net->xfrm.policy_all.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | new->xp_net.net->xfrm.xfrm_policy_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | *new->xp_net.net->xfrm.policy_count | 1-13 |
| BUF_SIZE | 1 | new | 1064 |
| CAPPED_DATA | 1 | new->xp_net.net | 1 |
| DATA_SOURCE | 1 | new | $1 |
| FUZZY_MAX | 1 | new->action | 1 |
| FUZZY_MAX | 1 | new->xfrm_nr | 0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | new->action | 0-1 |
| USER_DATA | 1 | new->family | 10 |
| USER_DATA | 1 | new->flags | 0-255 |
| USER_DATA | 1 | new->index | 0-u32max |
| USER_DATA | 1 | new->lft.hard_add_expires_seconds | 0-u64max |
| USER_DATA | 1 | new->lft.hard_byte_limit | 0-u64max |
| USER_DATA | 1 | new->lft.hard_packet_limit | 0-u64max |
| USER_DATA | 1 | new->lft.hard_use_expires_seconds | 0-u64max |
| USER_DATA | 1 | new->lft.soft_add_expires_seconds | 0-u64max |
| USER_DATA | 1 | new->lft.soft_byte_limit | 0-u64max |
| USER_DATA | 1 | new->lft.soft_packet_limit | 0-u64max |
| USER_DATA | 1 | new->lft.soft_use_expires_seconds | 0-u64max |
| USER_DATA | 1 | new->priority | 0-u32max |
| USER_DATA | 1 | new->selector.dport | 0-u16max |
| USER_DATA | 1 | new->selector.dport_mask | 0-u16max |
| USER_DATA | 1 | new->selector.family | 2,10 |
| USER_DATA | 1 | new->selector.ifindex | s32min-s32max |
| USER_DATA | 1 | new->selector.prefixlen_d | 0-128 |
| USER_DATA | 1 | new->selector.prefixlen_s | 0-128 |
| USER_DATA | 1 | new->selector.proto | 0-255 |
| USER_DATA | 1 | new->selector.sport | 0-u16max |
| USER_DATA | 1 | new->selector.sport_mask | 0-u16max |
| USER_DATA | 1 | new->selector.user | 0-u32max |
| USER_DATA | 1 | new->type | 0-1[c] |
| USER_DATA | 1 | new->xfrm_nr | 1-6[c] |
| LOCK2 | &net->xfrm.xfrm_policy_lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &net->xfrm.xfrm_cfg_mutex | ||
| TYPE_LOCK | (struct netns_xfrm)->xfrm_policy_lock |
net/xfrm/xfrm_policy.c xfrm_sk_policy_insert() -> xfrm_policy_requeue()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | old | 1-u64max |
| PARAM_VALUE | 1 | new | 4096-ptr_max |
| PARAM_VALUE | 1 | new->action | 0-1 |
| PARAM_VALUE | 1 | new->bydst.next | 0 |
| PARAM_VALUE | 1 | new->bydst.pprev | 0 |
| PARAM_VALUE | 1 | new->byidx.next | 0 |
| PARAM_VALUE | 1 | new->byidx.pprev | 0 |
| PARAM_VALUE | 1 | new->family | 2,10 |
| PARAM_VALUE | 1 | new->index | 1-u32max |
| PARAM_VALUE | 1 | new->lock.magic | 3736018669 |
| PARAM_VALUE | 1 | new->lock.owner | (-1) |
| PARAM_VALUE | 1 | new->lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | new->polq.hold_queue.next | 4096-ptr_max |
| PARAM_VALUE | 1 | new->polq.hold_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | new->polq.hold_queue.qlen | 0 |
| PARAM_VALUE | 1 | new->polq.hold_timer.entry.pprev | 0 |
| PARAM_VALUE | 1 | new->polq.hold_timer.flags | 0-4194302 |
| PARAM_VALUE | 1 | new->polq.hold_timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 1 | new->timer.entry.pprev | 0 |
| PARAM_VALUE | 1 | new->timer.flags | 0-4194302 |
| PARAM_VALUE | 1 | new->timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 1 | new->type | 0 |
| PARAM_VALUE | 1 | new->walk.all.next | 4096-ptr_max |
| PARAM_VALUE | 1 | new->walk.all.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | new->walk.all.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | new->walk.all.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | new->walk.all.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | new->xfrm_nr | 0-6 |
| PARAM_VALUE | 1 | new->xp_net.net | 4096-ptr_max |
| PARAM_VALUE | 1 | new->xp_net.net->xfrm.policy_all.next | 4096-ptr_max |
| PARAM_VALUE | 1 | new->xp_net.net->xfrm.policy_all.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | new->xp_net.net->xfrm.policy_all.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | *new->xp_net.net->xfrm.policy_count | 1-13 |
| BUF_SIZE | 1 | new | (-1),1064 |
| BUF_SIZE | 1 | new | (-1),1064 |
| CAPPED_DATA | 1 | new->index | 1 |
| CAPPED_DATA | 1 | new->xp_net.net | 1 |
| DATA_SOURCE | 1 | new | $2 |
| BIT_INFO | 1 | new->curlft.add_time | 0x0,0x7fffffffffffffff |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | new->action | 0-1[u] |
| USER_DATA | 1 | new->family | 2,10[u] |
| USER_DATA | 1 | new->flags | 0-255[u] |
| USER_DATA | 1 | new->index | 1-u32max[c] |
| USER_DATA | 1 | new->lft.hard_add_expires_seconds | 0-u64max[u] |
| USER_DATA | 1 | new->lft.hard_byte_limit | 0-u64max[u] |
| USER_DATA | 1 | new->lft.hard_packet_limit | 0-u64max[u] |
| USER_DATA | 1 | new->lft.hard_use_expires_seconds | 0-u64max[u] |
| USER_DATA | 1 | new->lft.soft_add_expires_seconds | 0-u64max[u] |
| USER_DATA | 1 | new->lft.soft_byte_limit | 0-u64max[u] |
| USER_DATA | 1 | new->lft.soft_packet_limit | 0-u64max[u] |
| USER_DATA | 1 | new->lft.soft_use_expires_seconds | 0-u64max[u] |
| USER_DATA | 1 | new->priority | 0-u32max[u] |
| USER_DATA | 1 | new->selector.daddr.a4 | 0-u32max[u] |
| USER_DATA | 1 | new->selector.dport | 0-u16max[u] |
| USER_DATA | 1 | new->selector.dport_mask | 0-u16max[u] |
| USER_DATA | 1 | new->selector.family | 2,10[u] |
| USER_DATA | 1 | new->selector.ifindex | s32min-s32max[u] |
| USER_DATA | 1 | new->selector.prefixlen_d | 0-128[u] |
| USER_DATA | 1 | new->selector.prefixlen_s | 0-128[u] |
| USER_DATA | 1 | new->selector.proto | 0-255[u] |
| USER_DATA | 1 | new->selector.saddr.a4 | 0-u32max[u] |
| USER_DATA | 1 | new->selector.sport | 0-u16max[u] |
| USER_DATA | 1 | new->selector.sport_mask | 0-u16max[u] |
| USER_DATA | 1 | new->selector.user | 0-u32max[u] |
| USER_DATA | 1 | new->xfrm_nr | 1-6[c] |
| LOCK2 | &net->xfrm.xfrm_policy_lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | sk | ||
| TYPE_LOCK | (struct netns_xfrm)->xfrm_policy_lock |