Defined in 2 files as a function:
Referenced in 2 files:
Smatch caller information:
net/xfrm/xfrm_user.c xfrm_add_acquire() -> xfrm_dev_policy_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | x | 4096-ptr_max |
| PARAM_VALUE | 0 | x->action | 0-1 |
| PARAM_VALUE | 0 | x->bydst.next | 0 |
| PARAM_VALUE | 0 | x->bydst.pprev | 0 |
| PARAM_VALUE | 0 | x->byidx.next | 0 |
| PARAM_VALUE | 0 | x->byidx.pprev | 0 |
| PARAM_VALUE | 0 | x->family | 2,10 |
| PARAM_VALUE | 0 | x->lock.magic | 3736018669 |
| PARAM_VALUE | 0 | x->lock.owner | (-1) |
| PARAM_VALUE | 0 | x->lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | x->polq.hold_queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | x->polq.hold_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | x->polq.hold_queue.qlen | 0 |
| PARAM_VALUE | 0 | x->polq.hold_timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | x->polq.hold_timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | x->polq.hold_timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | x->refcnt.refs.counter | 1 |
| PARAM_VALUE | 0 | x->selector.family | 2,10 |
| PARAM_VALUE | 0 | x->selector.prefixlen_d | 0-128 |
| PARAM_VALUE | 0 | x->selector.prefixlen_s | 0-128 |
| PARAM_VALUE | 0 | x->timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | x->timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | x->timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | x->type | 0-1 |
| PARAM_VALUE | 0 | x->walk.all.next | 4096-ptr_max |
| PARAM_VALUE | 0 | x->walk.all.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | x->walk.all.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | x->walk.all.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | x->walk.all.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | x->xfrm_nr | 0-6 |
| BUF_SIZE | 0 | x | 1064 |
| CAPPED_DATA | 0 | x->xfrm_nr | 1 |
| DATA_SOURCE | 0 | x | r xfrm_policy_construct |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | x->action | 0-1 |
| USER_DATA | 0 | x->family | 2,10 |
| USER_DATA | 0 | x->flags | 0-255 |
| USER_DATA | 0 | x->index | 0-u32max |
| USER_DATA | 0 | x->lft.hard_add_expires_seconds | 0-u64max |
| USER_DATA | 0 | x->lft.hard_byte_limit | 0-u64max |
| USER_DATA | 0 | x->lft.hard_packet_limit | 0-u64max |
| USER_DATA | 0 | x->lft.hard_use_expires_seconds | 0-u64max |
| USER_DATA | 0 | x->lft.soft_add_expires_seconds | 0-u64max |
| USER_DATA | 0 | x->lft.soft_byte_limit | 0-u64max |
| USER_DATA | 0 | x->lft.soft_packet_limit | 0-u64max |
| USER_DATA | 0 | x->lft.soft_use_expires_seconds | 0-u64max |
| USER_DATA | 0 | x->priority | 0-u32max |
| USER_DATA | 0 | x->selector.dport | 0-u16max |
| USER_DATA | 0 | x->selector.dport_mask | 0-u16max |
| USER_DATA | 0 | x->selector.family | 2,10 |
| USER_DATA | 0 | x->selector.ifindex | s32min-s32max |
| USER_DATA | 0 | x->selector.prefixlen_d | 0-128 |
| USER_DATA | 0 | x->selector.prefixlen_s | 0-128 |
| USER_DATA | 0 | x->selector.proto | 0-255 |
| USER_DATA | 0 | x->selector.sport | 0-u16max |
| USER_DATA | 0 | x->selector.sport_mask | 0-u16max |
| USER_DATA | 0 | x->selector.user | 0-u32max |
| USER_DATA | 0 | x->type | 0-1 |
| USER_DATA | 0 | x->xfrm_nr | 1-6[c] |
| HALF_LOCKED2 | &net->xfrm.xfrm_cfg_mutex | ||
| 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_user.c xfrm_add_policy() -> xfrm_dev_policy_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | x | 4096-ptr_max |
| PARAM_VALUE | 0 | x->action | 0-1 |
| PARAM_VALUE | 0 | x->bydst.next->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | x->bydst.pprev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | x->byidx.next | 0 |
| PARAM_VALUE | 0 | x->byidx.pprev | 0 |
| PARAM_VALUE | 0 | x->family | 2,10 |
| PARAM_VALUE | 0 | x->lock.magic | 3736018669 |
| PARAM_VALUE | 0 | x->lock.owner | (-1) |
| PARAM_VALUE | 0 | x->lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | x->polq.hold_queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | x->polq.hold_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | x->polq.hold_queue.qlen | 0 |
| PARAM_VALUE | 0 | x->polq.hold_timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | x->polq.hold_timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | x->polq.hold_timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | x->refcnt.refs.counter | 1 |
| PARAM_VALUE | 0 | x->selector.family | 2,10 |
| PARAM_VALUE | 0 | x->selector.prefixlen_d | 0-128 |
| PARAM_VALUE | 0 | x->selector.prefixlen_s | 0-128 |
| PARAM_VALUE | 0 | x->timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | x->timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | x->timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | x->type | 0-1 |
| PARAM_VALUE | 0 | x->walk.all.next | 4096-ptr_max |
| PARAM_VALUE | 0 | x->walk.all.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | x->walk.all.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | x->walk.all.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | x->walk.all.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | x->xfrm_nr | 0-6 |
| PARAM_VALUE | 0 | x->xp_net.net | 4096-ptr_max |
| PARAM_VALUE | 0 | x->xp_net.net->xfrm.inexact_bins.next | 4096-ptr_max |
| PARAM_VALUE | 0 | x->xp_net.net->xfrm.inexact_bins.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | x->xp_net.net->xfrm.inexact_bins.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | x->xp_net.net->xfrm.xfrm_policy_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | x | 1064 |
| CAPPED_DATA | 0 | x->xp_net.net | 1 |
| DATA_SOURCE | 0 | x | r xfrm_policy_construct |
| NOSPEC | 0 | x->type | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | x->action | 0-1 |
| USER_DATA | 0 | x->family | 2,10 |
| USER_DATA | 0 | x->flags | 0-255 |
| USER_DATA | 0 | x->index | 0-u32max |
| USER_DATA | 0 | x->lft.hard_add_expires_seconds | 0-u64max |
| USER_DATA | 0 | x->lft.hard_byte_limit | 0-u64max |
| USER_DATA | 0 | x->lft.hard_packet_limit | 0-u64max |
| USER_DATA | 0 | x->lft.hard_use_expires_seconds | 0-u64max |
| USER_DATA | 0 | x->lft.soft_add_expires_seconds | 0-u64max |
| USER_DATA | 0 | x->lft.soft_byte_limit | 0-u64max |
| USER_DATA | 0 | x->lft.soft_packet_limit | 0-u64max |
| USER_DATA | 0 | x->lft.soft_use_expires_seconds | 0-u64max |
| USER_DATA | 0 | x->priority | 0-u32max |
| USER_DATA | 0 | x->selector.dport | 0-u16max |
| USER_DATA | 0 | x->selector.dport_mask | 0-u16max |
| USER_DATA | 0 | x->selector.family | 2,10 |
| USER_DATA | 0 | x->selector.ifindex | s32min-s32max |
| USER_DATA | 0 | x->selector.prefixlen_d | 0-128 |
| USER_DATA | 0 | x->selector.prefixlen_s | 0-128 |
| USER_DATA | 0 | x->selector.proto | 0-255 |
| USER_DATA | 0 | x->selector.sport | 0-u16max |
| USER_DATA | 0 | x->selector.sport_mask | 0-u16max |
| USER_DATA | 0 | x->selector.user | 0-u32max |
| USER_DATA | 0 | x->type | 0-1 |
| USER_DATA | 0 | x->xfrm_nr | 1-6[c] |
| HALF_LOCKED2 | &net->xfrm.xfrm_cfg_mutex | ||
| 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_policy.c xfrm_policy_kill() -> xfrm_dev_policy_delete()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | x | 4096-ptr_max |
| PARAM_VALUE | 0 | *x->xp_net.net->xfrm.policy_count | 0-4294967295 |
| CAPPED_DATA | 0 | x->xp_net.net | 1 |
| DATA_SOURCE | 0 | x | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |