xfrm_dev_state_update_stats identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

net/xfrm/xfrm_state.c xfrm_state_check_expire() -> xfrm_dev_state_update_stats()

Type	Parameter	Key	Value
PARAM_VALUE	0	x	4096-ptr_max
PARAM_VALUE	0	x->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	x->mode_cbs->sa_len	4096-ptr_max
PARAM_VALUE	0	x->type->flags	0,2,5,9
PARAM_VALUE	0	x->type->proto	4,41,43,50-51,60,108
PARAM_VALUE	0	x->xso.type	2
PARAM_VALUE	0	*x->replay_esn->bmp	0-4294967295
DATA_SOURCE	0	x	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
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->sel.daddr.a4	0-u32max
USER_DATA	0	x->sel.dport	0-u16max
USER_DATA	0	x->sel.dport_mask	0-u16max
USER_DATA	0	x->sel.ifindex	s32min-s32max
USER_DATA	0	x->sel.prefixlen_d	0-255
USER_DATA	0	x->sel.prefixlen_s	0-255
USER_DATA	0	x->sel.proto	0-255
USER_DATA	0	x->sel.saddr.a4	0-u32max
USER_DATA	0	x->sel.sport	0-u16max
USER_DATA	0	x->sel.sport_mask	0-u16max
USER_DATA	0	x->sel.user	0-u32max
NO_OVERFLOW_SIMPLE	0	x->curlft.bytes
LOCK2	0	&x->lock
HALF_LOCKED2		bh
TYPE_LOCK		(struct xfrm_state)->lock

net/xfrm/xfrm_state.c xfrm_state_update_stats() -> xfrm_dev_state_update_stats()

Type	Parameter	Key	Value
PARAM_VALUE	0	x	4096-ptr_max
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		&net->xfrm.xfrm_state_lock
LOCK2		&seq->lock
LOCK2		bh
TYPE_LOCK		(struct netns_xfrm)->xfrm_state_lock
TYPE_LOCK		(struct seq_file)->lock

net/xfrm/xfrm_state.c xfrm_timer_handler() -> xfrm_dev_state_update_stats()

Type	Parameter	Key	Value
PARAM_VALUE	0	x	4096-ptr_max
PARAM_VALUE	0	x->lock.rlock.dep_map->name	0-255
PREEMPT_ADD			<- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2	0	&x->lock
HALF_LOCKED2		irq
TYPE_LOCK		(struct xfrm_state)->lock

net/xfrm/xfrm_user.c copy_to_user_state() -> xfrm_dev_state_update_stats()

Type	Parameter	Key	Value
PARAM_VALUE	0	x	4096-ptr_max
PARAM_VALUE	0	x->mode_cbs->clone_state	7975205731614285824
PARAM_VALUE	0	x->mode_cbs->copy_to_user	1853556369833455616
PARAM_VALUE	0	x->mode_cbs->destroy_state	2629703515136987136
PARAM_VALUE	0	x->mode_cbs->get_inner_mtu	2298170523770195968
PARAM_VALUE	0	x->mode_cbs->init_state	894039719160782848
PARAM_VALUE	0	x->mode_cbs->input	2971371899429060608
PARAM_VALUE	0	x->mode_cbs->output	8852574181919367168
PARAM_VALUE	0	x->mode_cbs->owner	0
PARAM_VALUE	0	x->mode_cbs->prepare_output	5073241018386681856
PARAM_VALUE	0	x->mode_cbs->sa_len	490402456538587136
PARAM_VALUE	0	x->mode_cbs->user_init	1162222067439800320
PARAM_VALUE	0	x->type->destructor	4096-ptr_max
PARAM_VALUE	0	x->type->flags	0,2,5,9
PARAM_VALUE	0	x->type->init_state	4096-ptr_max
PARAM_VALUE	0	x->type->input	4096-ptr_max
PARAM_VALUE	0	x->type->output	4096-ptr_max
PARAM_VALUE	0	x->type->owner	0
PARAM_VALUE	0	x->type->proto	4,41,43,50-51,60,108
PARAM_VALUE	0	x->type->reject	0,4096-ptr_max
PARAM_VALUE	0	x->type_offload->encap	3026618011163508736,7531102084703621120
PARAM_VALUE	0	x->type_offload->input_tail	677404555923771392,5422576399545094144
PARAM_VALUE	0	x->type_offload->owner	0
PARAM_VALUE	0	x->type_offload->proto	50
PARAM_VALUE	0	x->type_offload->xmit	3324157048469573632,4206418349158756352
PARAM_VALUE	0	x->xso.dev	1-u64max
PARAM_VALUE	0	*x->replay_esn->bmp	0-4294967295
BUF_SIZE	0	x	(-1),1-s32max
BUF_SIZE	0	x	(-1),1-s32max
DATA_SOURCE	0	x	$0
NOSPEC	0	x->id.proto
NOSPEC	0	x->id.spi
NOSPEC	0	x->inner_mode.family
NOSPEC	0	x->km.seq
NOSPEC	0	x->outer_mode.family
NOSPEC	0	x->props.family
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	x->aalg->alg_key_len	0-u32max
USER_DATA	0	x->curlft.add_time	0-u64max
USER_DATA	0	x->curlft.bytes	0-u64max
USER_DATA	0	x->curlft.packets	0-u64max
USER_DATA	0	x->curlft.use_time	0-u64max
USER_DATA	0	x->id.daddr.a4	0-u32max
USER_DATA	0	x->id.proto	4,41,43,50-51,60,108[c]
USER_DATA	0	x->id.spi	0-u32max
USER_DATA	0	x->inner_mode.family	2,10
USER_DATA	0	x->km.seq	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->mark.v	0-u32max[c]
USER_DATA	0	x->outer_mode.family	10[c]
USER_DATA	0	x->preplay.bitmap	0-u32max
USER_DATA	0	x->preplay.oseq	0-u32max
USER_DATA	0	x->preplay.seq	0-u32max
USER_DATA	0	x->preplay_esn->bmp_len	0-u32max
USER_DATA	0	x->preplay_esn->oseq	0-u32max
USER_DATA	0	x->preplay_esn->oseq_hi	0-u32max
USER_DATA	0	x->preplay_esn->replay_window	0-u32max
USER_DATA	0	x->preplay_esn->seq	0-u32max
USER_DATA	0	x->preplay_esn->seq_hi	0-u32max
USER_DATA	0	x->props.family	2,10[c]
USER_DATA	0	x->props.flags	0-255
USER_DATA	0	x->props.mode	0-5
USER_DATA	0	x->props.reqid	0-u32max
USER_DATA	0	x->props.saddr.a4	0-u32max
USER_DATA	0	x->replay.bitmap	0-u32max
USER_DATA	0	x->replay.oseq	0-u32max
USER_DATA	0	x->replay.seq	0-u32max
USER_DATA	0	x->replay_esn->bmp_len	0-u32max
USER_DATA	0	x->replay_esn->oseq	0-u32max
USER_DATA	0	x->replay_esn->oseq_hi	0-u32max
USER_DATA	0	x->replay_esn->replay_window	0-u32max
USER_DATA	0	x->replay_esn->seq	0-u32max
USER_DATA	0	x->replay_esn->seq_hi	0-u32max
USER_DATA	0	x->sel.daddr.a4	0-u32max
USER_DATA	0	x->sel.dport	0-u16max
USER_DATA	0	x->sel.dport_mask	0-u16max
USER_DATA	0	x->sel.ifindex	s32min-s32max
USER_DATA	0	x->sel.prefixlen_d	0-255
USER_DATA	0	x->sel.prefixlen_s	0-255
USER_DATA	0	x->sel.proto	0-255
USER_DATA	0	x->sel.saddr.a4	0-u32max
USER_DATA	0	x->sel.sport	0-u16max
USER_DATA	0	x->sel.sport_mask	0-u16max
USER_DATA	0	x->sel.user	0-u32max
USER_DATA	0	x->tunnel->id.daddr.a4	0-u32max
USER_DATA	0	x->tunnel->id.spi	0-u32max
USER_DATA	0	x->tunnel->inner_mode.family	2,10
USER_DATA	0	x->tunnel->mark.m	0-u32max
USER_DATA	0	x->tunnel->mark.v	0-u32max[c]
USER_DATA	0	x->tunnel->outer_mode.family	10[c]
USER_DATA	0	x->tunnel->props.saddr.a4	0-u32max
USER_DATA	0	x->tunnel->sel.daddr.a4	0-u32max
USER_DATA	0	x->tunnel->sel.dport	0-u16max
USER_DATA	0	x->tunnel->sel.dport_mask	0-u16max
USER_DATA	0	x->tunnel->sel.ifindex	s32min-s32max
USER_DATA	0	x->tunnel->sel.prefixlen_d	0-255
USER_DATA	0	x->tunnel->sel.prefixlen_s	0-255
USER_DATA	0	x->tunnel->sel.proto	0-255
USER_DATA	0	x->tunnel->sel.saddr.a4	0-u32max
USER_DATA	0	x->tunnel->sel.sport	0-u16max
USER_DATA	0	x->tunnel->sel.sport_mask	0-u16max
USER_DATA	0	x->tunnel->sel.user	0-u32max
HALF_LOCKED2		rcu_read
HALF_LOCKED2	0	&x->lock