xfs_zone_gc_data_free identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

fs/xfs/xfs_zone_gc.c, line 259 (as a function)

Referenced in 1 files:

fs/xfs/xfs_zone_gc.c
- line 1152
- line 1233

Smatch caller information:

fs/xfs/xfs_zone_gc.c xfs_zone_gc_mount() -> xfs_zone_gc_data_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	data	4096-ptr_max
PARAM_VALUE	0	data->bio_set.back_pad	0,64
PARAM_VALUE	0	data->bio_set.bio_pool.alloc	7276475779886346240
PARAM_VALUE	0	data->bio_set.bio_pool.curr_nr	1-s32max
PARAM_VALUE	0	data->bio_set.bio_pool.elements	1-u64max
PARAM_VALUE	0	data->bio_set.bio_pool.free	8263660038527102976
PARAM_VALUE	0	data->bio_set.bio_pool.min_nr	16
PARAM_VALUE	0	data->bio_set.bio_pool.pool_data	1-u64max
PARAM_VALUE	0	data->bio_set.bio_pool.wait.head.next	4096-ptr_max
PARAM_VALUE	0	data->bio_set.bio_pool.wait.head.next->next	4096-ptr_max
PARAM_VALUE	0	data->bio_set.bio_pool.wait.head.prev	4096-ptr_max
PARAM_VALUE	0	data->bio_set.bio_pool.wait.head.prev->next	4096-ptr_max
PARAM_VALUE	0	data->bio_set.bio_pool.wait.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	data->bio_set.bio_slab	1-u64max
PARAM_VALUE	0	data->bio_set.bvec_pool.alloc	7276475779886346240
PARAM_VALUE	0	data->bio_set.bvec_pool.curr_nr	1-s32max
PARAM_VALUE	0	data->bio_set.bvec_pool.elements	1-u64max
PARAM_VALUE	0	data->bio_set.bvec_pool.free	8263660038527102976
PARAM_VALUE	0	data->bio_set.bvec_pool.wait.head.next	4096-ptr_max
PARAM_VALUE	0	data->bio_set.bvec_pool.wait.head.next->next	4096-ptr_max
PARAM_VALUE	0	data->bio_set.bvec_pool.wait.head.prev	4096-ptr_max
PARAM_VALUE	0	data->bio_set.bvec_pool.wait.head.prev->next	4096-ptr_max
PARAM_VALUE	0	data->bio_set.bvec_pool.wait.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	data->bio_set.cache	0,4096-ptr_max
PARAM_VALUE	0	data->bio_set.cpuhp_dead->pprev	4096-ptr_max
PARAM_VALUE	0	data->bio_set.cpuhp_dead.pprev	4096-ptr_max
PARAM_VALUE	0	data->bio_set.front_pad	96
PARAM_VALUE	0	data->bio_set.rescue_list.head	0
PARAM_VALUE	0	data->bio_set.rescue_list.tail	0
PARAM_VALUE	0	data->bio_set.rescue_workqueue	0,4096-ptr_max
PARAM_VALUE	0	data->iter.recs	4096-ptr_max
PARAM_VALUE	0	data->mp	4096-ptr_max
PARAM_VALUE	0	data->mp->m_agbtree_maxlevels	1-u32max
PARAM_VALUE	0	data->mp->m_agfrotor	0
PARAM_VALUE	0	data->mp->m_agirotor.counter	0
PARAM_VALUE	0	data->mp->m_agno_log	0-32
PARAM_VALUE	0	data->mp->m_ail	4096-ptr_max
PARAM_VALUE	0	data->mp->m_alloc_maxlevels	1-u32max
PARAM_VALUE	0	data->mp->m_attr_geo	4096-ptr_max
PARAM_VALUE	0	data->mp->m_blockgc_wq	4096-ptr_max
PARAM_VALUE	0	data->mp->m_blockmask	0-524287
PARAM_VALUE	0	data->mp->m_blockwsize	0-1073741823
PARAM_VALUE	0	data->mp->m_buf_workqueue	4096-ptr_max
PARAM_VALUE	0	data->mp->m_ddev_targp	4096-ptr_max
PARAM_VALUE	0	data->mp->m_debugfs	0,4096-ptr_max
PARAM_VALUE	0	data->mp->m_dir_geo	4096-ptr_max
PARAM_VALUE	0	data->mp->m_error_kobj.complete.done	0
PARAM_VALUE	0	data->mp->m_error_kobj.complete.wait.lock.magic	3735899821
PARAM_VALUE	0	data->mp->m_error_kobj.complete.wait.lock.owner	(-1)
PARAM_VALUE	0	data->mp->m_error_kobj.complete.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	data->mp->m_error_kobj.complete.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	data->mp->m_error_kobj.complete.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	data->mp->m_error_kobj.kobject.entry.next	4096-ptr_max
PARAM_VALUE	0	data->mp->m_error_kobj.kobject.kref.refcount.refs.counter	1
PARAM_VALUE	0	data->mp->m_error_kobj.kobject.ktype	7086946772534874112
PARAM_VALUE	0	data->mp->m_error_kobj.kobject.name	4096-ptr_max
PARAM_VALUE	0	data->mp->m_error_kobj.kobject.sd	4096-ptr_max
PARAM_VALUE	0	data->mp->m_error_kobj.kobject.state_in_sysfs	1
PARAM_VALUE	0	data->mp->m_error_kobj.kobject.state_initialized	1
PARAM_VALUE	0	data->mp->m_error_meta_kobj.complete.wait.lock.magic	3735899821
PARAM_VALUE	0	data->mp->m_error_meta_kobj.complete.wait.lock.owner	(-1)
PARAM_VALUE	0	data->mp->m_error_meta_kobj.complete.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	data->mp->m_error_meta_kobj.complete.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	data->mp->m_error_meta_kobj.complete.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	data->mp->m_error_meta_kobj.kobject.entry.next	4096-ptr_max
PARAM_VALUE	0	data->mp->m_error_meta_kobj.kobject.kref.refcount.refs.counter	1
PARAM_VALUE	0	data->mp->m_error_meta_kobj.kobject.ktype	4096-ptr_max
PARAM_VALUE	0	data->mp->m_error_meta_kobj.kobject.sd	4096-ptr_max
PARAM_VALUE	0	data->mp->m_error_meta_kobj.kobject.state_in_sysfs	1
PARAM_VALUE	0	data->mp->m_error_meta_kobj.kobject.state_initialized	1
PARAM_VALUE	0	data->mp->m_errortag_kobj.complete.done	0
PARAM_VALUE	0	data->mp->m_errortag_kobj.complete.wait.lock.magic	3735899821
PARAM_VALUE	0	data->mp->m_errortag_kobj.complete.wait.lock.owner	(-1)
PARAM_VALUE	0	data->mp->m_errortag_kobj.complete.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	data->mp->m_errortag_kobj.complete.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	data->mp->m_errortag_kobj.complete.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	data->mp->m_errortag_kobj.kobject.entry.next	4096-ptr_max
PARAM_VALUE	0	data->mp->m_errortag_kobj.kobject.kref.refcount.refs.counter	1
PARAM_VALUE	0	data->mp->m_errortag_kobj.kobject.ktype	4743428409088135168
PARAM_VALUE	0	data->mp->m_errortag_kobj.kobject.name	4096-ptr_max
PARAM_VALUE	0	data->mp->m_errortag_kobj.kobject.sd	4096-ptr_max
PARAM_VALUE	0	data->mp->m_errortag_kobj.kobject.state_in_sysfs	1
PARAM_VALUE	0	data->mp->m_errortag_kobj.kobject.state_initialized	1
PARAM_VALUE	0	data->mp->m_fail_unmount	1
PARAM_VALUE	0	data->mp->m_filestream	4096-ptr_max
PARAM_VALUE	0	data->mp->m_finobt_nores	0
PARAM_VALUE	0	data->mp->m_ino_geo.attr_fork_offset	44,120,196
PARAM_VALUE	0	data->mp->m_ino_geo.ialloc_inos	64-u16max
PARAM_VALUE	0	data->mp->m_ino_geo.inobt_maxlevels	1-u32max
PARAM_VALUE	0	data->mp->m_ino_geo.inode_cluster_size_raw	0-2088960
PARAM_VALUE	0	data->mp->m_inodegc	1-u64max
PARAM_VALUE	0	data->mp->m_inodegc_shrinker	4096-ptr_max
PARAM_VALUE	0	data->mp->m_inodegc_wq	4096-ptr_max
PARAM_VALUE	0	data->mp->m_kobj.complete.done	0
PARAM_VALUE	0	data->mp->m_kobj.complete.wait.lock.magic	3735899821
PARAM_VALUE	0	data->mp->m_kobj.complete.wait.lock.owner	(-1)
PARAM_VALUE	0	data->mp->m_kobj.complete.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	data->mp->m_kobj.complete.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	data->mp->m_kobj.complete.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	data->mp->m_kobj.kobject.entry.next	4096-ptr_max
PARAM_VALUE	0	data->mp->m_kobj.kobject.kref.refcount.refs.counter	1
PARAM_VALUE	0	data->mp->m_kobj.kobject.ktype	3681560428151742464
PARAM_VALUE	0	data->mp->m_kobj.kobject.name	4096-ptr_max
PARAM_VALUE	0	data->mp->m_kobj.kobject.sd	4096-ptr_max
PARAM_VALUE	0	data->mp->m_kobj.kobject.state_in_sysfs	1
PARAM_VALUE	0	data->mp->m_kobj.kobject.state_initialized	1
PARAM_VALUE	0	data->mp->m_log	4096-ptr_max
PARAM_VALUE	0	data->mp->m_logbsize	16384-s32max
PARAM_VALUE	0	data->mp->m_logbufs	2-8
PARAM_VALUE	0	data->mp->m_logdev_targp	4096-ptr_max
PARAM_VALUE	0	data->mp->m_logname	0,4096-ptr_max
PARAM_VALUE	0	data->mp->m_max_open_zones	1-1073741823
PARAM_VALUE	0	data->mp->m_metafile_resv_avail	0
PARAM_VALUE	0	data->mp->m_metafile_resv_target	0
PARAM_VALUE	0	data->mp->m_metafile_resv_used	0
PARAM_VALUE	0	data->mp->m_reclaim_workqueue	4096-ptr_max
PARAM_VALUE	0	data->mp->m_resv.tr_addafork.tr_logcount	2
PARAM_VALUE	0	data->mp->m_resv.tr_addafork.tr_logflags	s32min-0,4-s32max
PARAM_VALUE	0	data->mp->m_resv.tr_attrinval.tr_logcount	1
PARAM_VALUE	0	data->mp->m_resv.tr_attrinval.tr_logflags	s32min-0,4-s32max
PARAM_VALUE	0	data->mp->m_resv.tr_attrrm.tr_logcount	3
PARAM_VALUE	0	data->mp->m_resv.tr_attrrm.tr_logflags	s32min-0,4-s32max
PARAM_VALUE	0	data->mp->m_resv.tr_attrsetm.tr_logcount	3
PARAM_VALUE	0	data->mp->m_resv.tr_attrsetm.tr_logflags	s32min-0,4-s32max
PARAM_VALUE	0	data->mp->m_resv.tr_create.tr_logcount	2,5
PARAM_VALUE	0	data->mp->m_resv.tr_create.tr_logflags	s32min-0,4-s32max
PARAM_VALUE	0	data->mp->m_resv.tr_create_tmpfile.tr_logcount	2
PARAM_VALUE	0	data->mp->m_resv.tr_create_tmpfile.tr_logflags	s32min-0,4-s32max
PARAM_VALUE	0	data->mp->m_resv.tr_growdata.tr_logcount	2
PARAM_VALUE	0	data->mp->m_resv.tr_growdata.tr_logflags	s32min-0,4-s32max
PARAM_VALUE	0	data->mp->m_resv.tr_growrtalloc.tr_logcount	2
PARAM_VALUE	0	data->mp->m_resv.tr_growrtalloc.tr_logflags	s32min-0,4-s32max
PARAM_VALUE	0	data->mp->m_resv.tr_ifree.tr_logcount	2
PARAM_VALUE	0	data->mp->m_resv.tr_ifree.tr_logflags	s32min-0,4-s32max
PARAM_VALUE	0	data->mp->m_resv.tr_itruncate.tr_logcount	2-5
PARAM_VALUE	0	data->mp->m_resv.tr_itruncate.tr_logflags	s32min-0,4-s32max
PARAM_VALUE	0	data->mp->m_resv.tr_link.tr_logcount	2,5
PARAM_VALUE	0	data->mp->m_resv.tr_link.tr_logflags	s32min-0,4-s32max
PARAM_VALUE	0	data->mp->m_resv.tr_mkdir.tr_logcount	3,6
PARAM_VALUE	0	data->mp->m_resv.tr_mkdir.tr_logflags	s32min-0,4-s32max
PARAM_VALUE	0	data->mp->m_resv.tr_qm_dqalloc.tr_logcount	2-5
PARAM_VALUE	0	data->mp->m_resv.tr_qm_dqalloc.tr_logflags	s32min-0,4-s32max
PARAM_VALUE	0	data->mp->m_resv.tr_qm_setqlim.tr_logcount	1
PARAM_VALUE	0	data->mp->m_resv.tr_remove.tr_logcount	2,5
PARAM_VALUE	0	data->mp->m_resv.tr_remove.tr_logflags	s32min-0,4-s32max
PARAM_VALUE	0	data->mp->m_resv.tr_rename.tr_logcount	2,5
PARAM_VALUE	0	data->mp->m_resv.tr_rename.tr_logflags	s32min-0,4-s32max
PARAM_VALUE	0	data->mp->m_resv.tr_sb.tr_logcount	1
PARAM_VALUE	0	data->mp->m_resv.tr_symlink.tr_logcount	3,6
PARAM_VALUE	0	data->mp->m_resv.tr_symlink.tr_logflags	s32min-0,4-s32max
PARAM_VALUE	0	data->mp->m_resv.tr_write.tr_logcount	2-5
PARAM_VALUE	0	data->mp->m_resv.tr_write.tr_logflags	s32min-0,4-s32max
PARAM_VALUE	0	data->mp->m_rootip	4096-ptr_max
PARAM_VALUE	0	data->mp->m_rtdev_targp	4096-ptr_max
PARAM_VALUE	0	data->mp->m_rtname	0,4096-ptr_max
PARAM_VALUE	0	data->mp->m_rtx_per_rbmblock	0,32-4294967264
PARAM_VALUE	0	data->mp->m_rtxblkmask	0-4294967294,u64max
PARAM_VALUE	0	data->mp->m_sb.sb_agcount	1-u32max
PARAM_VALUE	0	data->mp->m_sb.sb_blocksize	0-524288
PARAM_VALUE	0	data->mp->m_sb.sb_crc	0
PARAM_VALUE	0	data->mp->m_sb.sb_dblocks	0-9223372036854775807,u64max
PARAM_VALUE	0	data->mp->m_sb.sb_flags	1-255
PARAM_VALUE	0	data->mp->m_sb.sb_frextents	0
PARAM_VALUE	0	data->mp->m_sb.sb_inprogress	0
PARAM_VALUE	0	data->mp->m_sb.sb_magicnum	1481003842
PARAM_VALUE	0	data->mp->m_sb.sb_rblocks	0-9223372036854775808
PARAM_VALUE	0	data->mp->m_sb.sb_rextsize	1
PARAM_VALUE	0	data->mp->m_sb.sb_rgcount	5-u32max
PARAM_VALUE	0	data->mp->m_sb.sb_rtstart	0
PARAM_VALUE	0	data->mp->m_sb.sb_unit	1-u32max
PARAM_VALUE	0	data->mp->m_sb_bp	4096-ptr_max
PARAM_VALUE	0	data->mp->m_scrub_stats	4096-ptr_max
PARAM_VALUE	0	data->mp->m_stats.xs_kobj.complete.done	0
PARAM_VALUE	0	data->mp->m_stats.xs_kobj.complete.wait.lock.magic	3735899821
PARAM_VALUE	0	data->mp->m_stats.xs_kobj.complete.wait.lock.owner	(-1)
PARAM_VALUE	0	data->mp->m_stats.xs_kobj.complete.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	data->mp->m_stats.xs_kobj.complete.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	data->mp->m_stats.xs_kobj.complete.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	data->mp->m_stats.xs_kobj.kobject.entry.next	4096-ptr_max
PARAM_VALUE	0	data->mp->m_stats.xs_kobj.kobject.kref.refcount.refs.counter	1
PARAM_VALUE	0	data->mp->m_stats.xs_kobj.kobject.ktype	6826089732206080000
PARAM_VALUE	0	data->mp->m_stats.xs_kobj.kobject.name	4096-ptr_max
PARAM_VALUE	0	data->mp->m_stats.xs_kobj.kobject.sd	4096-ptr_max
PARAM_VALUE	0	data->mp->m_stats.xs_kobj.kobject.state_in_sysfs	1
PARAM_VALUE	0	data->mp->m_stats.xs_kobj.kobject.state_initialized	1
PARAM_VALUE	0	data->mp->m_stats.xs_stats	1-u64max
PARAM_VALUE	0	data->mp->m_super	4096-ptr_max
PARAM_VALUE	0	data->mp->m_sync_workqueue	4096-ptr_max
PARAM_VALUE	0	data->mp->m_unwritten_workqueue	4096-ptr_max
PARAM_VALUE	0	data->mp->m_zone_info	4096-ptr_max
PARAM_VALUE	0	data->mp->m_zoned_kobj.complete.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	data->mp->m_zoned_kobj.complete.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	data->mp->m_zoned_kobj.kobject.ktype	4096-ptr_max
PARAM_VALUE	0	data->mp->m_zoned_kobj.kobject.name	4096-ptr_max
PARAM_VALUE	0	data->mp->m_zoned_kobj.kobject.sd	4096-ptr_max
PARAM_VALUE	0	data->mp->m_zonegc_low_space	0
PARAM_VALUE	0	data->oz->oz_rcu.func	1-u64max
PARAM_VALUE	0	data->oz->oz_rcu.next	0
PARAM_VALUE	0	data->reading.next	4096-ptr_max
PARAM_VALUE	0	data->reading.next->next	4096-ptr_max
PARAM_VALUE	0	data->reading.prev	4096-ptr_max
PARAM_VALUE	0	data->reading.prev->next	4096-ptr_max
PARAM_VALUE	0	data->reading.prev->prev	4096-ptr_max
PARAM_VALUE	0	data->resetting.next	4096-ptr_max
PARAM_VALUE	0	data->resetting.next->next	4096-ptr_max
PARAM_VALUE	0	data->resetting.prev	4096-ptr_max
PARAM_VALUE	0	data->resetting.prev->next	4096-ptr_max
PARAM_VALUE	0	data->resetting.prev->prev	4096-ptr_max
PARAM_VALUE	0	data->scratch_available	2097152
PARAM_VALUE	0	data->scratch_folios	4096-ptr_max
PARAM_VALUE	0	data->scratch_size	2097152
PARAM_VALUE	0	data->split_bio_set.back_pad	0,64
PARAM_VALUE	0	data->split_bio_set.bio_pool.alloc	7276475779886346240
PARAM_VALUE	0	data->split_bio_set.bio_pool.curr_nr	1-s32max
PARAM_VALUE	0	data->split_bio_set.bio_pool.elements	1-u64max
PARAM_VALUE	0	data->split_bio_set.bio_pool.free	8263660038527102976
PARAM_VALUE	0	data->split_bio_set.bio_pool.min_nr	16
PARAM_VALUE	0	data->split_bio_set.bio_pool.pool_data	1-u64max
PARAM_VALUE	0	data->split_bio_set.bio_pool.wait.head.next	4096-ptr_max
PARAM_VALUE	0	data->split_bio_set.bio_pool.wait.head.next->next	4096-ptr_max
PARAM_VALUE	0	data->split_bio_set.bio_pool.wait.head.prev	4096-ptr_max
PARAM_VALUE	0	data->split_bio_set.bio_pool.wait.head.prev->next	4096-ptr_max
PARAM_VALUE	0	data->split_bio_set.bio_pool.wait.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	data->split_bio_set.bio_slab	1-u64max
PARAM_VALUE	0	data->split_bio_set.bvec_pool.alloc	7276475779886346240
PARAM_VALUE	0	data->split_bio_set.bvec_pool.curr_nr	1-s32max
PARAM_VALUE	0	data->split_bio_set.bvec_pool.elements	1-u64max
PARAM_VALUE	0	data->split_bio_set.bvec_pool.free	8263660038527102976
PARAM_VALUE	0	data->split_bio_set.bvec_pool.wait.head.next	4096-ptr_max
PARAM_VALUE	0	data->split_bio_set.bvec_pool.wait.head.next->next	4096-ptr_max
PARAM_VALUE	0	data->split_bio_set.bvec_pool.wait.head.prev	4096-ptr_max
PARAM_VALUE	0	data->split_bio_set.bvec_pool.wait.head.prev->next	4096-ptr_max
PARAM_VALUE	0	data->split_bio_set.bvec_pool.wait.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	data->split_bio_set.cache	0,4096-ptr_max
PARAM_VALUE	0	data->split_bio_set.cpuhp_dead->pprev	4096-ptr_max
PARAM_VALUE	0	data->split_bio_set.cpuhp_dead.pprev	4096-ptr_max
PARAM_VALUE	0	data->split_bio_set.front_pad	96
PARAM_VALUE	0	data->split_bio_set.rescue_list.head	0
PARAM_VALUE	0	data->split_bio_set.rescue_list.tail	0
PARAM_VALUE	0	data->split_bio_set.rescue_workqueue	0,4096-ptr_max
PARAM_VALUE	0	data->writing.next	4096-ptr_max
PARAM_VALUE	0	data->writing.next->next	4096-ptr_max
PARAM_VALUE	0	data->writing.prev	4096-ptr_max
PARAM_VALUE	0	data->writing.prev->next	4096-ptr_max
PARAM_VALUE	0	data->writing.prev->prev	4096-ptr_max
BUF_SIZE	0	data	1376
CAPPED_DATA	0	data->mp->m_max_open_zones	1
CAPPED_DATA	0	data->mp->m_sb.sb_agcount	1
CAPPED_DATA	0	data->mp->m_sb.sb_blocklog	1
CAPPED_DATA	0	data->mp->m_sb.sb_dblocks	1
CAPPED_DATA	0	data->mp->m_sb.sb_sectsize	1
DATA_SOURCE	0	data	r xfs_zone_gc_data_alloc
BIT_INFO	0	data->mp->m_logbufs	0x0,0x7fffffff
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	data->mp->m_sb.sb_rbmblocks

fs/xfs/xfs_zone_gc.c xfs_zoned_gcd() -> xfs_zone_gc_data_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	data	4096-ptr_max
PARAM_VALUE	0	data->mp	4096-ptr_max
PARAM_VALUE	0	data->mp->m_rtdev_targp	4096-ptr_max
PARAM_VALUE	0	data->mp->m_zone_info	4096-ptr_max
PARAM_VALUE	0	data->mp->m_zone_info->zi_reservation_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	data->mp->m_zone_info->zi_reset_list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	data->oz	0,4096-ptr_max
PARAM_VALUE	0	data->oz->oz_rcu.func	1-u64max
PARAM_VALUE	0	data->oz->oz_rcu.next	0
PARAM_VALUE	0	data->reading.next	4096-ptr_max
PARAM_VALUE	0	data->resetting.next	4096-ptr_max
PARAM_VALUE	0	data->writing.next	4096-ptr_max
BUF_SIZE	0	data	128
BUF_SIZE	0	data	128
CAPPED_DATA	0	&data->reading	1
CAPPED_DATA	0	&data->resetting	1
CAPPED_DATA	0	&data->writing	1
DATA_SOURCE	0	data	$0
PARAM_COMPARE	0	&data->reading	== $0->reading.next
PARAM_COMPARE	0	&data->resetting	== $0->resetting.next
PARAM_COMPARE	0	&data->writing	== $0->writing.next
NOCHECK_CALL