generic_write_check_limits identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

include/linux/fs.h, line 3082 (as a prototype)

Defined in 1 files as a function:

fs/read_write.c, line 1710 (as a function)

Referenced in 4 files:

Smatch caller information:

fs/xfs/xfs_exchrange.c xfs_exchange_range_checks() -> generic_write_check_limits()

Type	Parameter	Key	Value
PARAM_VALUE	0	file	4096-ptr_max
PARAM_VALUE	0	file->f_mode	33554432-u32max
PARAM_VALUE	0	file->f_path->dentry->d_parent->d_alias.next->pprev	1-u64max
PARAM_VALUE	0	file->f_path->dentry->d_parent->d_fsdata->d_fsdata	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	file->f_path->dentry->d_parent->d_fsdata->name	0-255
PARAM_VALUE	0	file->f_path->dentry->d_parent->d_inode->i_hash.next->pprev	1-u64max
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->active.counter	s32min-s32max
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_flags	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->__i_nlink	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_atime_nsec	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_blkbits	0-255
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_bytes	0-u16max
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_ctime_nsec	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_dir_seq	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_flags	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_fsnotify_mask	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_generation	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_linklen	s32min-s32max
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mode	0-u16max
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mtime_nsec	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_nlink	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_opflags	0-u16max
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->id	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.flags	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.is_hard	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.is_lazy	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.is_queued	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.is_soft	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.flags	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.is_hard	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.is_lazy	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.is_queued	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.is_soft	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_rdev	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->flags	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->is_hard	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->is_lazy	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->is_queued	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->is_soft	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.timer.is_hard	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.timer.is_lazy	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.timer.is_soft	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.flags	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.function	1626621062881370112
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.is_hard	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.is_lazy	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.is_soft	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_avg_time	0-u16max
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_history	0-u16max
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_winner	s32min-s32max
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_write_hint	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_lockref.count	s32min-s32max
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->data->ref.refs.counter	s32min-s32max
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->management_timer.flags	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->management_timer.is_hard	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->management_timer.is_lazy	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->management_timer.is_queued	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->management_timer.is_soft	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->owner->refcnt.counter	0-s32max
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->ref.refs.counter	s32min-s32max
PARAM_VALUE	1	pos	0-s64max
PARAM_VALUE	2	count	3307761857595138048
CAPPED_DATA	0	file->f_path.mnt	1
CAPPED_DATA	1	pos	1
CAPPED_DATA	1	pos	1
BIT_INFO	0	file->f_flags	0x0,0xfffffbff
BIT_INFO	0	file->f_mode	0x3,0xffffffffffffffff
USER_DATA	1	pos	0-s64max[c]
USER_DATA	2	*count	s64min-s64max
NO_OVERFLOW_SIMPLE	0	file->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE	0	file->f_path.moved->d_inode->i_size
NO_OVERFLOW_SIMPLE	1	pos
UNITS	1	pos	unit_byte
USER_PTR	2	count

fs/xfs/xfs_exchrange.c xfs_exchange_range_checks() -> generic_write_check_limits()

Type	Parameter	Key	Value
PARAM_VALUE	0	file	4096-ptr_max
PARAM_VALUE	0	file->f_mode	33554432-u32max
PARAM_VALUE	0	file->f_path->dentry->d_parent->d_alias.next->pprev	1-u64max
PARAM_VALUE	0	file->f_path->dentry->d_parent->d_fsdata->d_fsdata	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	file->f_path->dentry->d_parent->d_fsdata->name	0-255
PARAM_VALUE	0	file->f_path->dentry->d_parent->d_inode->i_hash.next->pprev	1-u64max
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->active.counter	s32min-s32max
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_flags	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->__i_nlink	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_atime_nsec	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_blkbits	0-255
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_bytes	0-u16max
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_ctime_nsec	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_dir_seq	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_flags	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_fsnotify_mask	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_generation	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_linklen	s32min-s32max
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mode	0-u16max
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mtime_nsec	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_nlink	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_opflags	0-u16max
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->id	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.flags	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.is_hard	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.is_lazy	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.is_queued	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->rcu.is_soft	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.flags	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.is_hard	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.is_lazy	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.is_queued	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_private->work.is_soft	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_rdev	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->flags	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->is_hard	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->is_lazy	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->is_queued	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->is_soft	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.timer.is_hard	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.timer.is_lazy	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.timer.is_soft	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.flags	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.function	1626621062881370112
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.is_hard	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.is_lazy	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.work.is_soft	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_avg_time	0-u16max
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_history	0-u16max
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_winner	s32min-s32max
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_inode->i_write_hint	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->d_lockref.count	s32min-s32max
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->data->ref.refs.counter	s32min-s32max
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->management_timer.flags	0-4294967295
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->management_timer.is_hard	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->management_timer.is_lazy	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->management_timer.is_queued	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->management_timer.is_soft	0-1
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->owner->refcnt.counter	0-s32max
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->ref.refs.counter	s32min-s32max
PARAM_VALUE	1	pos	0-s64max
PARAM_VALUE	2	count	3307761857595138048
CAPPED_DATA	0	file->f_path.mnt	1
CAPPED_DATA	1	pos	1
CAPPED_DATA	1	pos	1
BIT_INFO	0	file->f_flags	0x0,0xfffffbff
BIT_INFO	0	file->f_mode	0x3,0xffffffffffffffff
USER_DATA	1	pos	0-s64max[c]
USER_DATA	2	*count	s64min-s64max[c]
NO_OVERFLOW_SIMPLE	0	file->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE	0	file->f_path.moved->d_inode->i_size
NO_OVERFLOW_SIMPLE	1	pos
UNITS	1	pos	unit_byte
USER_PTR	2	count

fs/remap_range.c generic_remap_checks() -> generic_write_check_limits()

Type	Parameter	Key	Value
PARAM_VALUE	0	file	4096-ptr_max
PARAM_VALUE	0	file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	file->f_inode->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	file->f_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	file->f_mapping	4096-ptr_max
PARAM_VALUE	0	file->f_mapping->host	4096-ptr_max
PARAM_VALUE	0	file->f_mapping->host->i_sb	4096-ptr_max
PARAM_VALUE	1	pos	0-s64max
PARAM_VALUE	2	count	5652522931659575296
PARAM_VALUE	2	*count	1-s64max
BUF_SIZE	0	file	s32min,(-1),1-s32max
BUF_SIZE	0	file	s32min,(-1),1-s32max
CAPPED_DATA	1	pos	1
CAPPED_DATA	1	pos	1
DATA_SOURCE	0	file	$2
DATA_SOURCE	1	pos	$3
NOSPEC	1	pos
NOSPEC	1	pos
NOSPEC	2	*count
RX_PATH
TASK_NOT_RUNNING
USER_DATA	1	pos	0-s64max[c]
USER_DATA	2	*count	2-s64max[c]
NO_OVERFLOW_SIMPLE	0	file->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE	0	file->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE	0	file->f_path.moved->d_inode->i_size
NO_OVERFLOW_SIMPLE	2	*count
UNITS	1	pos	unit_byte
USER_PTR	2	count

fs/read_write.c generic_copy_file_checks() -> generic_write_check_limits()

Type	Parameter	Key	Value
PARAM_VALUE	0	file	4096-ptr_max
PARAM_VALUE	0	file->f_op	4096-ptr_max
PARAM_VALUE	2	count	8644822455123021824
BUF_SIZE	0	file	s32min,(-1),1-s32max
BUF_SIZE	0	file	s32min,(-1),1-s32max
CAPPED_DATA	1	pos	1
CAPPED_DATA	1	pos	1
DATA_SOURCE	0	file	$2
DATA_SOURCE	1	pos	$3
NOSPEC	1	pos
NOSPEC	1	pos
RX_PATH
USER_DATA	1	pos	0-s64max[c]
USER_DATA	2	*count	0-s64max[c]
NO_OVERFLOW_SIMPLE	2	*count
UNITS	0	file	unit_byte
UNITS	1	pos	unit_byte
USER_PTR	2	count
HALF_LOCKED2		&inode_out->i_rwsem
HALF_LOCKED2		&pool->lock

fs/read_write.c generic_write_checks_count() -> generic_write_check_limits()

Type	Parameter	Key	Value
PARAM_VALUE	0	file	4096-ptr_max
PARAM_VALUE	0	file->f_inode->i_data.host->i_sb->s_export_op->encode_fh	0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max
PARAM_VALUE	0	file->f_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	file->f_inode->i_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	file->f_inode->i_mapping->invalidate_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	file->f_inode->i_mapping->invalidate_lock.first_waiter->type	0-1
PARAM_VALUE	0	file->f_inode->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	file->f_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	file->f_inode->i_sb->s_cop->inode_info_offs	1632,1720,1808,2632,2648,2704,2712
PARAM_VALUE	0	file->f_mapping	4096-ptr_max
PARAM_VALUE	0	file->f_mapping->host->i_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	file->f_mapping->host->i_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	file->f_mapping->host->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	file->f_mapping->host->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	file->f_mapping->host->i_sb->s_cop->empty_dir	0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE	0	file->f_mapping->host->i_sb->s_cop->get_context	0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416
PARAM_VALUE	0	file->f_mapping->host->i_sb->s_cop->set_context	0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112
PARAM_VALUE	0	file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	file->f_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	file->f_op	4096-ptr_max
PARAM_VALUE	2	count	5390276486034759680,5992340498710376448
PARAM_VALUE	2	*count	1-1000000000
DATA_SOURCE	2	count	$1
NOSPEC	1	pos
NOSPEC	2	*count
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	file->f_inode->i_blocks	0-18014398509481984[c]
USER_DATA	1	pos	s64min-s64max
USER_DATA	2	*count	1-1000000000
UNITS	1	pos	unit_byte
USER_PTR	2	count
HALF_LOCKED2	0	&file->f_inode->i_rwsem

fs/xfs/xfs_file.c xfs_zoned_write_space_reserve() -> generic_write_check_limits()

Type	Parameter	Key	Value
PARAM_VALUE	0	file	4096-ptr_max
PARAM_VALUE	0	file->f_inode->i_mapping->host->i_sb->s_export_op->encode_fh	0,2,4096-ptr_max
PARAM_VALUE	0	file->f_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	file->f_inode->i_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	file->f_inode->i_sb->s_cop->empty_dir	0,86,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144
PARAM_VALUE	0	file->f_inode->i_sb->s_cop->get_context	0,706,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416
PARAM_VALUE	0	file->f_inode->i_sb->s_cop->set_context	0,67,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112
PARAM_VALUE	0	file->f_mapping->host->i_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	file->f_mapping->host->i_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	file->f_mapping->host->i_sb->s_cop->inode_info_offs	1632,1720,1808,2632,2648,2704,2712
PARAM_VALUE	0	file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	file->f_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	2	count	8926802152784556032
PARAM_VALUE	2	*count	0-1000000000
NOSPEC	1	pos
NOSPEC	1	pos
NOSPEC	2	*count
RX_PATH
TASK_NOT_RUNNING
USER_DATA	1	pos	s64min-(-2),0-s64max
USER_DATA	2	*count	0-1000000000
UNITS	1	pos	unit_byte
USER_PTR	2	count