__vma_start_write identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

include/linux/mmap_lock.h, line 291 (as a prototype)

Defined in 1 files as a function:

mm/mmap_lock.c, line 139 (as a function)

Referenced in 2 files:

Smatch caller information:

drivers/crypto/hisilicon/qm.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->flags.__vma_flags	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	6265196601400193024
PARAM_VALUE	0	vma->vm_ops->access	0
PARAM_VALUE	0	vma->vm_ops->close	9110121534636523520
PARAM_VALUE	0	vma->vm_ops->fault	0
PARAM_VALUE	0	vma->vm_ops->find_normal_page	0
PARAM_VALUE	0	vma->vm_ops->get_policy	0
PARAM_VALUE	0	vma->vm_ops->huge_fault	0
PARAM_VALUE	0	vma->vm_ops->map_pages	0
PARAM_VALUE	0	vma->vm_ops->mapped	0
PARAM_VALUE	0	vma->vm_ops->may_split	0
PARAM_VALUE	0	vma->vm_ops->mprotect	0
PARAM_VALUE	0	vma->vm_ops->mremap	4994350079563595776
PARAM_VALUE	0	vma->vm_ops->name	0
PARAM_VALUE	0	vma->vm_ops->open	0
PARAM_VALUE	0	vma->vm_ops->page_mkwrite	0
PARAM_VALUE	0	vma->vm_ops->pagesize	0
PARAM_VALUE	0	vma->vm_ops->pfn_mkwrite	0
PARAM_VALUE	0	vma->vm_ops->set_policy	0
PARAM_VALUE	0	vma->vm_ops->uffd_ops	0
PARAM_VALUE	0	vma->vm_pgoff	0-1
PARAM_VALUE	0	vma->vm_private_data	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),1-s32max
BUF_SIZE	0	vma->vm_ops	144
BUF_SIZE	0	vma->vm_private_data	(-1),1216
DATA_SOURCE	0	vma	$0
FUZZY_MAX	0	vma->vm_pgoff	1
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
HARD_MAX	0	vma->vm_pgoff	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-1[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
LOCK2		&q->mutex
HALF_LOCKED2		&ipcp->lock
TYPE_LOCK		(struct uacce_queue)->mutex

drivers/vdpa/vdpa_user/iova_domain.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

drivers/gpu/drm/xe/xe_device.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_pgoff	80
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),1-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_flags	0x0,0xfffffffffffffffa
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	80[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

drivers/usb/core/devio.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->pfnmap_track_ctx->kref.refcount.refs.counter	1
PARAM_VALUE	0	vma->pfnmap_track_ctx->size	0,4096-u64max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_mm->hiwater_rss	1-u64max
PARAM_VALUE	0	vma->vm_private_data->refs.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	vma->vm_private_data->rw_sema.first_waiter->handoff_set	1
PARAM_VALUE	0	vma->vm_private_data->rw_sema.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	vma->vm_private_data->rw_sema.first_waiter->type	0-1
PARAM_VALUE	0	vma->vm_private_data->rw_sema.osq.tail.counter	0-s32max
PARAM_VALUE	0	vma->vm_private_data->vma	0
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->pfnmap_track_ctx->pfn	0-13510803177078779[c]
USER_DATA	0	vma->pfnmap_track_ctx->size	0,4096-u64max[c]
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-13510803177078779[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

drivers/vfio/pci/vfio_pci_core.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_private_data	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-s32max
CAPPED_DATA	0	vma->vm_start	1
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_flags	0x8,0xffffffffffffffff
BIT_INFO	0	vma->vm_page_prot	0x0,0x7fffffffffffffff
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

mm/madvise.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
CAPPED_DATA	0	vma	1
DATA_SOURCE	0	vma	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_start	1-u64max[c]
NO_OVERFLOW_SIMPLE	0	vma->vm_end
HALF_LOCKED2		&madv_behavior->mm->mmap_lock

arch/x86/kernel/cpu/sgx/virt.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	5961285702021222400
PARAM_VALUE	0	vma->vm_ops->access	0
PARAM_VALUE	0	vma->vm_ops->close	0
PARAM_VALUE	0	vma->vm_ops->fault	5295598674773323776
PARAM_VALUE	0	vma->vm_ops->find_normal_page	0
PARAM_VALUE	0	vma->vm_ops->get_policy	0
PARAM_VALUE	0	vma->vm_ops->huge_fault	0
PARAM_VALUE	0	vma->vm_ops->map_pages	0
PARAM_VALUE	0	vma->vm_ops->mapped	0
PARAM_VALUE	0	vma->vm_ops->may_split	0
PARAM_VALUE	0	vma->vm_ops->mprotect	0
PARAM_VALUE	0	vma->vm_ops->mremap	0
PARAM_VALUE	0	vma->vm_ops->name	0
PARAM_VALUE	0	vma->vm_ops->open	0
PARAM_VALUE	0	vma->vm_ops->page_mkwrite	0
PARAM_VALUE	0	vma->vm_ops->pagesize	0
PARAM_VALUE	0	vma->vm_ops->pfn_mkwrite	0
PARAM_VALUE	0	vma->vm_ops->set_policy	0
PARAM_VALUE	0	vma->vm_ops->uffd_ops	0
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_ops	144
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_flags	0x8,0xffffffffffffffff
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

drivers/infiniband/hw/bnxt_re/ib_verbs.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	3158554682918604800
PARAM_VALUE	0	vma->vm_ops->access	0
PARAM_VALUE	0	vma->vm_ops->close	4810486129246203904
PARAM_VALUE	0	vma->vm_ops->fault	3470724416327221248
PARAM_VALUE	0	vma->vm_ops->find_normal_page	0
PARAM_VALUE	0	vma->vm_ops->get_policy	0
PARAM_VALUE	0	vma->vm_ops->huge_fault	0
PARAM_VALUE	0	vma->vm_ops->map_pages	0
PARAM_VALUE	0	vma->vm_ops->mapped	0
PARAM_VALUE	0	vma->vm_ops->may_split	0
PARAM_VALUE	0	vma->vm_ops->mprotect	0
PARAM_VALUE	0	vma->vm_ops->mremap	0
PARAM_VALUE	0	vma->vm_ops->name	0
PARAM_VALUE	0	vma->vm_ops->open	7977397490154700800
PARAM_VALUE	0	vma->vm_ops->page_mkwrite	0
PARAM_VALUE	0	vma->vm_ops->pagesize	0
PARAM_VALUE	0	vma->vm_ops->pfn_mkwrite	0
PARAM_VALUE	0	vma->vm_ops->set_policy	0
PARAM_VALUE	0	vma->vm_ops->uffd_ops	0
PARAM_VALUE	0	vma->vm_pgoff	0-u32max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),1-s32max
BUF_SIZE	0	vma->vm_ops	144
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_flags	0x0,0xfffffffffffffffd
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
LOCK2		&file->device->disassociate_srcu
LOCK2		&file->disassociation_lock
HALF_LOCKED2		&ipcp->lock
TYPE_LOCK		(struct ib_uverbs_device)->disassociate_srcu
TYPE_LOCK		(struct ib_uverbs_file)->disassociation_lock

arch/x86/kernel/cpu/sgx/driver.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_mm->notifier_subscriptions->has_itree	0-1
PARAM_VALUE	0	vma->vm_mm->notifier_subscriptions->invalidate_seq	0-s64max
PARAM_VALUE	0	vma->vm_ops	3498322916171345920
PARAM_VALUE	0	vma->vm_ops->access	1106526688416497664
PARAM_VALUE	0	vma->vm_ops->close	0
PARAM_VALUE	0	vma->vm_ops->fault	6108624314072399872
PARAM_VALUE	0	vma->vm_ops->find_normal_page	0
PARAM_VALUE	0	vma->vm_ops->get_policy	0
PARAM_VALUE	0	vma->vm_ops->huge_fault	0
PARAM_VALUE	0	vma->vm_ops->map_pages	0
PARAM_VALUE	0	vma->vm_ops->mapped	0
PARAM_VALUE	0	vma->vm_ops->may_split	0
PARAM_VALUE	0	vma->vm_ops->mprotect	1325936775103746048
PARAM_VALUE	0	vma->vm_ops->mremap	0
PARAM_VALUE	0	vma->vm_ops->name	0
PARAM_VALUE	0	vma->vm_ops->open	1544243789825372160
PARAM_VALUE	0	vma->vm_ops->page_mkwrite	0
PARAM_VALUE	0	vma->vm_ops->pagesize	0
PARAM_VALUE	0	vma->vm_ops->pfn_mkwrite	0
PARAM_VALUE	0	vma->vm_ops->set_policy	0
PARAM_VALUE	0	vma->vm_ops->uffd_ops	0
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_ops	144
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

io_uring/memmap.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),1-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
LOCK2		_T->lock
HALF_LOCKED2		&ipcp->lock

drivers/staging/media/atomisp/pci/hmm/hmm_bo.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	3143343789495685120
PARAM_VALUE	0	vma->vm_private_data	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma->vm_ops	144
DATA_SOURCE	0	vma	$0
NOCHECK_CALL

drivers/gpu/drm/panthor/panthor_gem.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	0,4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&info->mm_lock

drivers/gpu/drm/tegra/gem.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&info->mm_lock

mm/pagewalk.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_inode->i_mapping->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	vma->vm_file->f_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry	0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max
PARAM_VALUE	0	vma->vm_file->f_inode->i_mapping->host->i_sb->s_export_op->fh_to_parent	0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max
PARAM_VALUE	0	vma->vm_file->f_inode->i_mapping->host->i_sb->s_export_op->get_parent	0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
PARAM_VALUE	0	vma->vm_file->f_inode->i_mapping->invalidate_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_file->f_inode->i_mapping->invalidate_lock.first_waiter->type	0-1
PARAM_VALUE	0	vma->vm_file->f_inode->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_file->f_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	vma->vm_file->f_inode->i_sb->s_cop->inode_info_offs	1632,1640,1720,1808,1816,2632,2640,2648,2704,2712
PARAM_VALUE	0	vma->vm_file->f_mapping->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	vma->vm_file->f_mapping->host->i_sb->s_export_op->fh_to_dentry	0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max
PARAM_VALUE	0	vma->vm_file->f_mapping->host->i_sb->s_export_op->fh_to_parent	0,5297,148606482432692224,436469935444291584,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000,3511613614414655488-s64max
PARAM_VALUE	0	vma->vm_file->f_mapping->host->i_sb->s_export_op->get_parent	0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	vma->vm_file->f_mapping->invalidate_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_file->f_mapping->invalidate_lock.first_waiter->type	0-1
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_mm->mmap_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_mm->mmap_lock.first_waiter->type	0-1
PARAM_VALUE	0	vma->vm_mm->vma_writer_wait.task->sched_class->uclamp_enabled	0-1
PARAM_VALUE	0	vma->vm_userfaultfd_ctx.ctx->map_changing_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_userfaultfd_ctx.ctx->map_changing_lock.first_waiter->type	0-1
PARAM_VALUE	1	state	2
DATA_SOURCE	0	vma	$0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_start	1-18446744073709551614[c]
NO_OVERFLOW_SIMPLE	0	vma->vm_end
NO_OVERFLOW_SIMPLE	0	vma->vm_file->f_mapping->host->i_size
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
NO_OVERFLOW_SIMPLE	0	vma->vm_start
HALF_LOCKED2		&m->lock

mm/mmap.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->anon_name	0,4096-ptr_max
PARAM_VALUE	0	vma->anon_vma_chain.next	4096-ptr_max
PARAM_VALUE	0	vma->anon_vma_chain.next->next	4096-ptr_max
PARAM_VALUE	0	vma->anon_vma_chain.prev	4096-ptr_max
PARAM_VALUE	0	vma->anon_vma_chain.prev->next	4096-ptr_max
PARAM_VALUE	0	vma->anon_vma_chain.prev->prev	4096-ptr_max
PARAM_VALUE	0	vma->flags.__vma_flags	4096-ptr_max
PARAM_VALUE	0	vma->numab_state	0
PARAM_VALUE	0	vma->pfnmap_track_ctx	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	vma->vm_lock_seq	u32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_mm->context.execute_only_pkey	(-1)
PARAM_VALUE	0	vma->vm_mm->context.ldt	0
PARAM_VALUE	0	vma->vm_mm->context.ldt_usr_sem.magic	4096-ptr_max
PARAM_VALUE	0	vma->vm_mm->context.lock.first_waiter	0
PARAM_VALUE	0	vma->vm_mm->context.lock.magic	4096-ptr_max
PARAM_VALUE	0	vma->vm_mm->context.lock.owner.counter	0
PARAM_VALUE	0	vma->vm_mm->context.pkey_allocation_map	1
PARAM_VALUE	0	vma->vm_mm->context.tlb_gen.counter	0
PARAM_VALUE	0	vma->vm_mm->context.untag_mask	u64max
PARAM_VALUE	0	vma->vm_mm->def_flags	0,1073741824
PARAM_VALUE	0	vma->vm_mm->exe_file	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_mm->hugetlb_usage.counter	0
PARAM_VALUE	0	vma->vm_mm->ioctx_table	0
PARAM_VALUE	0	vma->vm_mm->iommu_mm	0
PARAM_VALUE	0	vma->vm_mm->locked_vm	0
PARAM_VALUE	0	vma->vm_mm->lru_gen.bitmap	0
PARAM_VALUE	0	vma->vm_mm->lru_gen.memcg	0
PARAM_VALUE	0	vma->vm_mm->map_count	0-s32max
PARAM_VALUE	0	vma->vm_mm->mm_cid.lock.magic	3735899821
PARAM_VALUE	0	vma->vm_mm->mm_cid.lock.owner	(-1)
PARAM_VALUE	0	vma->vm_mm->mm_cid.lock.owner_cpu	u32max
PARAM_VALUE	0	vma->vm_mm->mm_cid.max_cids	0
PARAM_VALUE	0	vma->vm_mm->mm_cid.mode	0
PARAM_VALUE	0	vma->vm_mm->mm_cid.mutex.first_waiter	0
PARAM_VALUE	0	vma->vm_mm->mm_cid.mutex.magic	4096-ptr_max
PARAM_VALUE	0	vma->vm_mm->mm_cid.mutex.owner.counter	0
PARAM_VALUE	0	vma->vm_mm->mm_cid.pcpu	4096-ptr_max
PARAM_VALUE	0	vma->vm_mm->mm_cid.pcpu_thrs	0
PARAM_VALUE	0	vma->vm_mm->mm_cid.update_deferred	0
PARAM_VALUE	0	vma->vm_mm->mm_cid.users	0
PARAM_VALUE	0	vma->vm_mm->mm_count.counter	1
PARAM_VALUE	0	vma->vm_mm->mm_id	0-s32max
PARAM_VALUE	0	vma->vm_mm->mm_mt.ma_flags	771
PARAM_VALUE	0	vma->vm_mm->mm_mt.ma_root	0
PARAM_VALUE	0	vma->vm_mm->mm_users.counter	1
PARAM_VALUE	0	vma->vm_mm->mmap_lock.count.counter	0
PARAM_VALUE	0	vma->vm_mm->mmap_lock.first_waiter	0
PARAM_VALUE	0	vma->vm_mm->mmap_lock.magic	4096-ptr_max
PARAM_VALUE	0	vma->vm_mm->mmap_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	vma->vm_mm->mmap_lock.owner.counter	0
PARAM_VALUE	0	vma->vm_mm->notifier_subscriptions	0
PARAM_VALUE	0	vma->vm_mm->owner	4096-ptr_max
PARAM_VALUE	0	vma->vm_mm->pgd	18446612682070032384
PARAM_VALUE	0	vma->vm_mm->pinned_vm.counter	0
PARAM_VALUE	0	vma->vm_mm->sc_stat.cpu	(-1)
PARAM_VALUE	0	vma->vm_mm->sc_stat.footprint	0
PARAM_VALUE	0	vma->vm_mm->sc_stat.lock.magic	3735899821
PARAM_VALUE	0	vma->vm_mm->sc_stat.lock.owner	(-1)
PARAM_VALUE	0	vma->vm_mm->sc_stat.lock.owner_cpu	u32max
PARAM_VALUE	0	vma->vm_mm->sc_stat.nr_running_avg	0
PARAM_VALUE	0	vma->vm_mm->sc_stat.pcpu_sched	4096-ptr_max
PARAM_VALUE	0	vma->vm_mm->tlb_flush_pending.counter	0
PARAM_VALUE	0	vma->vm_mm->uprobes_state.xol_area	0
PARAM_VALUE	0	vma->vm_mm->vma_writer_wait.task	0
PARAM_VALUE	0	vma->vm_mm->write_protect_seq.sequence	0
PARAM_VALUE	0	vma->vm_policy	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_policy->refcnt.counter	1
PARAM_VALUE	0	vma->vm_refcnt.refs.counter	0
PARAM_VALUE	0	vma->vm_userfaultfd_ctx.ctx->map_changing_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_userfaultfd_ctx.ctx->map_changing_lock.first_waiter->type	0-1
PARAM_VALUE	0	vma->vmlock_dep_map->name	0-255
PARAM_VALUE	0	vma->vmlock_dep_map.cpu	0
PARAM_VALUE	0	vma->vmlock_dep_map.lock_type	0
PARAM_VALUE	0	vma->vmlock_dep_map.wait_type_outer	0
PARAM_VALUE	1	state	2
CAPPED_DATA	0	vma->vm_mm->mm_id	1
DATA_SOURCE	0	vma	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	vma->vm_start
UNITS	0	vma	unit_byte
LOCK2		&mm->mmap_lock
LOCK2		&oldmm->mmap_lock
TYPE_LOCK		(struct mm_struct)->mmap_lock

mm/mmap.c vma_start_write_killable() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	258
DATA_SOURCE	0	vma	$0
RX_PATH
TASK_NOT_RUNNING
LOCK2		&mm->mmap_lock
LOCK2		&oldmm->mmap_lock
TYPE_LOCK		(struct mm_struct)->mmap_lock

mm/userfaultfd.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_userfaultfd_ctx.ctx->map_changing_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_userfaultfd_ctx.ctx->map_changing_lock.first_waiter->type	0-1
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1)-s32max
BUF_SIZE	0	vma	(-1)-s32max
BUF_SIZE	0	vma->vm_mm	(-1)-s32max
CAPPED_DATA	0	vma	1
DATA_SOURCE	0	vma	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_start	1-u64max[c]
NO_OVERFLOW_SIMPLE	0	vma->vm_file->f_mapping->host->i_bytes
NO_OVERFLOW_SIMPLE	0	vma->vm_file->f_mapping->host->i_size
UNITS	0	vma	unit_byte
LOCK2		&mm->mmap_lock
TYPE_LOCK		(struct mm_struct)->mmap_lock

fs/cramfs/inode.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	1879676746651394048
PARAM_VALUE	0	vma->vm_ops->access	0
PARAM_VALUE	0	vma->vm_ops->close	0
PARAM_VALUE	0	vma->vm_ops->fault	814051361596108800
PARAM_VALUE	0	vma->vm_ops->find_normal_page	0
PARAM_VALUE	0	vma->vm_ops->get_policy	0
PARAM_VALUE	0	vma->vm_ops->huge_fault	0
PARAM_VALUE	0	vma->vm_ops->map_pages	5698041470598119424
PARAM_VALUE	0	vma->vm_ops->mapped	0
PARAM_VALUE	0	vma->vm_ops->may_split	0
PARAM_VALUE	0	vma->vm_ops->mprotect	0
PARAM_VALUE	0	vma->vm_ops->mremap	0
PARAM_VALUE	0	vma->vm_ops->name	0
PARAM_VALUE	0	vma->vm_ops->open	0
PARAM_VALUE	0	vma->vm_ops->page_mkwrite	1811986585126928384
PARAM_VALUE	0	vma->vm_ops->pagesize	0
PARAM_VALUE	0	vma->vm_ops->pfn_mkwrite	0
PARAM_VALUE	0	vma->vm_ops->set_policy	0
PARAM_VALUE	0	vma->vm_ops->uffd_ops	0
PARAM_VALUE	0	vma->vm_pgoff	0-4294967294
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_flags	0x0,0xfffffffffffffffd
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4294967294[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

drivers/accel/amdxdna/amdxdna_gem.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	0,6092607822832676864
PARAM_VALUE	0	vma->vm_private_data	0,4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),1-s32max
BUF_SIZE	0	vma->vm_ops	(-1),144
BUF_SIZE	0	vma->vm_private_data	(-1),16,24,40,48,56,72,80,112,120,136,168,184,224
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff

drivers/scsi/sg.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_pgoff	0
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
LOCK2		&sfp->f_mutex
HALF_LOCKED2		&ipcp->lock
TYPE_LOCK		(struct sg_fd)->f_mutex

drivers/uio/uio.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_pgoff	0-4
PARAM_VALUE	0	vma->vm_private_data	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),1-s32max
CAPPED_DATA	0	vma->vm_start	1
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
LOCK2		&idev->info_lock
HALF_LOCKED2		&ipcp->lock
TYPE_LOCK		(struct uio_device)->info_lock

drivers/android/tests/binder_alloc_kunit.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

drivers/media/common/videobuf2/videobuf2-vmalloc.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_end	1-u64max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
CAPPED_DATA	0	vma->vm_start	1
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520[c]
NO_OVERFLOW_SIMPLE	0	vma->pfnmap_track_ctx->size
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&q->mmap_lock

mm/mseal.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->flags.__vma_flags	4096-ptr_max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
CAPPED_DATA	0	vma	1
DATA_SOURCE	0	vma	$0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	vma->vm_end
NO_OVERFLOW_SIMPLE	0	vma->vm_start

drivers/accel/amdxdna/aie4_pci.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_pgoff	0-1048575
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),1-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
CAPPED_DATA	0	vma->vm_pgoff	1
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-1048575[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

drivers/vhost/vdpa.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->private_data	4096-ptr_max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_pgoff	0-u16max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_flags	0x8,0xffffffffffffffff
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-u16max[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

drivers/dma/idxd/cdev.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

fs/proc/task_mmu.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_flags	0x8000000,0xffffffffffffffff
NOCHECK_CALL
LOCK2		&mm->mmap_lock
TYPE_LOCK		(struct mm_struct)->mmap_lock

drivers/gpu/drm/xe/xe_mmio_gem.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_pgoff	0
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_flags	0x8,0xffffffffffffffff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&info->mm_lock

kernel/bpf/syscall.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	2996806912159092736
PARAM_VALUE	0	vma->vm_ops->access	0
PARAM_VALUE	0	vma->vm_ops->close	4838103015481118720
PARAM_VALUE	0	vma->vm_ops->fault	0
PARAM_VALUE	0	vma->vm_ops->find_normal_page	0
PARAM_VALUE	0	vma->vm_ops->get_policy	0
PARAM_VALUE	0	vma->vm_ops->huge_fault	0
PARAM_VALUE	0	vma->vm_ops->map_pages	0
PARAM_VALUE	0	vma->vm_ops->mapped	0
PARAM_VALUE	0	vma->vm_ops->may_split	0
PARAM_VALUE	0	vma->vm_ops->mprotect	0
PARAM_VALUE	0	vma->vm_ops->mremap	0
PARAM_VALUE	0	vma->vm_ops->name	0
PARAM_VALUE	0	vma->vm_ops->open	3193429410715623424
PARAM_VALUE	0	vma->vm_ops->page_mkwrite	0
PARAM_VALUE	0	vma->vm_ops->pagesize	0
PARAM_VALUE	0	vma->vm_ops->pfn_mkwrite	0
PARAM_VALUE	0	vma->vm_ops->set_policy	0
PARAM_VALUE	0	vma->vm_ops->uffd_ops	0
PARAM_VALUE	0	vma->vm_private_data	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_ops	144
BUF_SIZE	0	vma->vm_private_data	(-1),1216
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_flags	0x8,0xffffffffffffffff
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

net/ipv4/tcp.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),1-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_flags	0x0,0xfffffffffffffff9
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

drivers/android/binder.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_flags	0x0,0xfffffffffffffffd
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

mm/mprotect.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
CAPPED_DATA	0	vma	1
DATA_SOURCE	0	vma	$0
NOCHECK_CALL
USER_DATA	0	vma->vm_start	1-u64max[c]
NO_OVERFLOW_SIMPLE	0	vma->vm_end
NO_OVERFLOW_SIMPLE	0	vma->vm_start
HALF_LOCKED2		&mm->mmap_lock
HALF_LOCKED2		&tsk->signal->exec_update_lock

drivers/accel/habanalabs/gaudi2/gaudi2.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_pgoff	0
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),4,24,64,168-s32max
BUF_SIZE	0	vma->vm_ops	(-1),144
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
CAPPED_DATA	0	vma->vm_start	1
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520[c]
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

drivers/gpu/drm/drm_gem_dma_helper.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	0,4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&info->mm_lock

drivers/usb/mon/mon_bin.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	2685286043186118656
PARAM_VALUE	0	vma->vm_ops->access	0
PARAM_VALUE	0	vma->vm_ops->close	4331579201785184256
PARAM_VALUE	0	vma->vm_ops->fault	7242171541767561216
PARAM_VALUE	0	vma->vm_ops->find_normal_page	0
PARAM_VALUE	0	vma->vm_ops->get_policy	0
PARAM_VALUE	0	vma->vm_ops->huge_fault	0
PARAM_VALUE	0	vma->vm_ops->map_pages	0
PARAM_VALUE	0	vma->vm_ops->mapped	0
PARAM_VALUE	0	vma->vm_ops->may_split	0
PARAM_VALUE	0	vma->vm_ops->mprotect	0
PARAM_VALUE	0	vma->vm_ops->mremap	0
PARAM_VALUE	0	vma->vm_ops->name	0
PARAM_VALUE	0	vma->vm_ops->open	1893468020157628416
PARAM_VALUE	0	vma->vm_ops->page_mkwrite	0
PARAM_VALUE	0	vma->vm_ops->pagesize	0
PARAM_VALUE	0	vma->vm_ops->pfn_mkwrite	0
PARAM_VALUE	0	vma->vm_ops->set_policy	0
PARAM_VALUE	0	vma->vm_ops->uffd_ops	0
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_ops	144
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_flags	0x0,0xfffffffffffffffd
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

drivers/infiniband/hw/usnic/usnic_ib_verbs.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	3158554682918604800
PARAM_VALUE	0	vma->vm_ops->access	0
PARAM_VALUE	0	vma->vm_ops->close	4810486129246203904
PARAM_VALUE	0	vma->vm_ops->fault	3470724416327221248
PARAM_VALUE	0	vma->vm_ops->find_normal_page	0
PARAM_VALUE	0	vma->vm_ops->get_policy	0
PARAM_VALUE	0	vma->vm_ops->huge_fault	0
PARAM_VALUE	0	vma->vm_ops->map_pages	0
PARAM_VALUE	0	vma->vm_ops->mapped	0
PARAM_VALUE	0	vma->vm_ops->may_split	0
PARAM_VALUE	0	vma->vm_ops->mprotect	0
PARAM_VALUE	0	vma->vm_ops->mremap	0
PARAM_VALUE	0	vma->vm_ops->name	0
PARAM_VALUE	0	vma->vm_ops->open	7977397490154700800
PARAM_VALUE	0	vma->vm_ops->page_mkwrite	0
PARAM_VALUE	0	vma->vm_ops->pagesize	0
PARAM_VALUE	0	vma->vm_ops->pfn_mkwrite	0
PARAM_VALUE	0	vma->vm_ops->set_policy	0
PARAM_VALUE	0	vma->vm_ops->uffd_ops	0
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),1-s32max
BUF_SIZE	0	vma->vm_ops	144
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
LOCK2		&file->device->disassociate_srcu
LOCK2		&file->disassociation_lock
HALF_LOCKED2		&ipcp->lock
TYPE_LOCK		(struct ib_uverbs_device)->disassociate_srcu
TYPE_LOCK		(struct ib_uverbs_file)->disassociation_lock

mm/mremap.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_inode->i_mapping->invalidate_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_file->f_inode->i_mapping->invalidate_lock.first_waiter->type	0-1
PARAM_VALUE	0	vma->vm_file->f_inode->i_sb->s_cop->inode_info_offs	1632,1640,1720,1808,1816,2632,2640,2648,2704,2712
PARAM_VALUE	0	vma->vm_file->f_mapping->host->i_sb->s_export_op->fh_to_dentry	0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	vma->vm_file->f_mapping->invalidate_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_file->f_mapping->invalidate_lock.first_waiter->type	0-1
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_mm->mmap_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_mm->mmap_lock.first_waiter->type	0-1
PARAM_VALUE	1	state	2
DATA_SOURCE	0	vma	$0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	vma->vm_end
LOCK2		&mm->mmap_lock
TYPE_LOCK		(struct mm_struct)->mmap_lock

sound/usb/usx2y/usX2Yhwdep.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	7980969361174089728
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),1-s32max
BUF_SIZE	0	vma->vm_ops	144
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

drivers/gpu/drm/xe/xe_oa.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_flags	0x0,0xffffffffffffff71
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

fs/fuse/dax.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	5066124675858436096
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),1-s32max
BUF_SIZE	0	vma->vm_ops	144
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

mm/ksm.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_inode->i_mapping->invalidate_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_file->f_inode->i_mapping->invalidate_lock.first_waiter->type	0-1
PARAM_VALUE	0	vma->vm_file->f_inode->i_sb->s_cop->inode_info_offs	1632,1640,1720,1808,1816,2632,2640,2648,2704,2712
PARAM_VALUE	0	vma->vm_file->f_mapping->host->i_sb->s_export_op->fh_to_dentry	0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	vma->vm_file->f_mapping->invalidate_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_file->f_mapping->invalidate_lock.first_waiter->type	0-1
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_mm->mmap_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_mm->mmap_lock.first_waiter->type	0-1
PARAM_VALUE	1	state	2
CAPPED_DATA	0	vma	1
DATA_SOURCE	0	vma	$0
NOCHECK_CALL

kernel/kcov.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->private_data	4096-ptr_max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_pgoff	0
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

mm/vma.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_userfaultfd_ctx.ctx->map_changing_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_userfaultfd_ctx.ctx->map_changing_lock.first_waiter->type	0-1
PARAM_VALUE	1	state	2
CAPPED_DATA	0	vma	1
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_end
NOSPEC	0	vma->vm_pgoff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	0-u64max
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-u64max[c]
NO_OVERFLOW_SIMPLE	0	vma->vm_file->f_mapping->host->i_bytes
HALF_LOCKED2		&mm->mmap_lock
HALF_LOCKED2		&tsk->signal->exec_update_lock
HALF_LOCKED2		global &mm_all_locks_mutex

drivers/xen/gntdev.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	1103192913614569472
PARAM_VALUE	0	vma->vm_ops->access	0
PARAM_VALUE	0	vma->vm_ops->close	8573843949086793728
PARAM_VALUE	0	vma->vm_ops->fault	0
PARAM_VALUE	0	vma->vm_ops->find_normal_page	7701293790578647040
PARAM_VALUE	0	vma->vm_ops->get_policy	0
PARAM_VALUE	0	vma->vm_ops->huge_fault	0
PARAM_VALUE	0	vma->vm_ops->map_pages	0
PARAM_VALUE	0	vma->vm_ops->mapped	0
PARAM_VALUE	0	vma->vm_ops->may_split	0
PARAM_VALUE	0	vma->vm_ops->mprotect	0
PARAM_VALUE	0	vma->vm_ops->mremap	0
PARAM_VALUE	0	vma->vm_ops->name	0
PARAM_VALUE	0	vma->vm_ops->open	728218610497318912
PARAM_VALUE	0	vma->vm_ops->page_mkwrite	0
PARAM_VALUE	0	vma->vm_ops->pagesize	0
PARAM_VALUE	0	vma->vm_ops->pfn_mkwrite	0
PARAM_VALUE	0	vma->vm_ops->set_policy	0
PARAM_VALUE	0	vma->vm_ops->uffd_ops	0
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_ops	144
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
LOCK2		&priv->lock
HALF_LOCKED2		&ipcp->lock
TYPE_LOCK		(struct gntdev_priv)->lock

fs/proc/vmcore.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->access	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->close	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->fault	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->find_normal_page	0,7701293790578647040
PARAM_VALUE	0	vma->vm_ops->get_policy	0,4616414333962629120,4828607683292463104,8976238440117981184
PARAM_VALUE	0	vma->vm_ops->huge_fault	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->map_pages	0,3176874211750576128,5698041470598119424
PARAM_VALUE	0	vma->vm_ops->mapped	0,2789832010611625984,3142991724353884160,4592370608720261120,7407017443569868800
PARAM_VALUE	0	vma->vm_ops->may_split	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->mprotect	0,1325936775103746048
PARAM_VALUE	0	vma->vm_ops->mremap	0,3413040981811294208,4989069621795885056,4994350079563595776,5833245582275645440,6365626294419795968
PARAM_VALUE	0	vma->vm_ops->name	0,4895095206942478336,8589198899344281600
PARAM_VALUE	0	vma->vm_ops->open	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->page_mkwrite	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->pagesize	0,1990568509668610048,3507690403222872064,7130740471179698176
PARAM_VALUE	0	vma->vm_ops->pfn_mkwrite	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->set_policy	0,1009606358897582080,5296408793753837568,9131342062321688576
PARAM_VALUE	0	vma->vm_ops->uffd_ops	0,2881150691235323904,7418773112577396736
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_flags	0x0,0xfffffffffffffff9
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

sound/usb/usx2y/usx2yhwdeppcm.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	6806128686820278272
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),1-s32max
BUF_SIZE	0	vma->vm_ops	144
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

drivers/misc/uacce/uacce.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_pgoff	0-1
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
FUZZY_MAX	0	vma->vm_pgoff	1
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
HARD_MAX	0	vma->vm_pgoff	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-1[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

drivers/gpu/drm/amd/amdgpu/../amdkfd/kfd_doorbell.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),1-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

drivers/gpu/drm/exynos/exynos_drm_gem.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	0,4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&info->mm_lock

drivers/acpi/pfr_telemetry.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_flags	0x0,0xfffffffffffffffd
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

security/selinux/selinuxfs.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

drivers/video/fbdev/core/fb_defio.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	8153815770348978176
PARAM_VALUE	0	vma->vm_ops->access	0
PARAM_VALUE	0	vma->vm_ops->close	1287803953620250624
PARAM_VALUE	0	vma->vm_ops->fault	8986655402471550976
PARAM_VALUE	0	vma->vm_ops->find_normal_page	0
PARAM_VALUE	0	vma->vm_ops->get_policy	0
PARAM_VALUE	0	vma->vm_ops->huge_fault	0
PARAM_VALUE	0	vma->vm_ops->map_pages	0
PARAM_VALUE	0	vma->vm_ops->mapped	0
PARAM_VALUE	0	vma->vm_ops->may_split	0
PARAM_VALUE	0	vma->vm_ops->mprotect	0
PARAM_VALUE	0	vma->vm_ops->mremap	0
PARAM_VALUE	0	vma->vm_ops->name	0
PARAM_VALUE	0	vma->vm_ops->open	8175735508653117440
PARAM_VALUE	0	vma->vm_ops->page_mkwrite	8560143356698845184
PARAM_VALUE	0	vma->vm_ops->pagesize	0
PARAM_VALUE	0	vma->vm_ops->pfn_mkwrite	0
PARAM_VALUE	0	vma->vm_ops->set_policy	0
PARAM_VALUE	0	vma->vm_ops->uffd_ops	0
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-s32max
BUF_SIZE	0	vma->vm_ops	144
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_page_prot	0x0,0x7fffffffffffffff
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
LOCK2		&info->mm_lock
HALF_LOCKED2		&ipcp->lock
TYPE_LOCK		(struct fb_info)->mm_lock

drivers/accel/habanalabs/gaudi/gaudi.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	6229407368966115328
PARAM_VALUE	0	vma->vm_ops->access	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->close	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->fault	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->find_normal_page	0,7701293790578647040
PARAM_VALUE	0	vma->vm_ops->get_policy	0,4616414333962629120,4828607683292463104,8976238440117981184
PARAM_VALUE	0	vma->vm_ops->huge_fault	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->map_pages	0,3176874211750576128,5698041470598119424
PARAM_VALUE	0	vma->vm_ops->mapped	0,2789832010611625984,3142991724353884160,4592370608720261120,7407017443569868800
PARAM_VALUE	0	vma->vm_ops->may_split	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->mprotect	0,1325936775103746048
PARAM_VALUE	0	vma->vm_ops->mremap	0,3413040981811294208,4989069621795885056,4994350079563595776,5833245582275645440,6365626294419795968
PARAM_VALUE	0	vma->vm_ops->name	0,4895095206942478336,8589198899344281600
PARAM_VALUE	0	vma->vm_ops->open	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->page_mkwrite	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->pagesize	0,1990568509668610048,3507690403222872064,7130740471179698176
PARAM_VALUE	0	vma->vm_ops->pfn_mkwrite	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->set_policy	0,1009606358897582080,5296408793753837568,9131342062321688576
PARAM_VALUE	0	vma->vm_ops->uffd_ops	0,2881150691235323904,7418773112577396736
PARAM_VALUE	0	vma->vm_pgoff	0
PARAM_VALUE	0	vma->vm_private_data	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),4,24,64,168-s32max
BUF_SIZE	0	vma->vm_ops	144
CAPPED_DATA	0	vma->vm_start	1
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520[c]
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

drivers/media/common/videobuf2/videobuf2-dma-sg.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
CAPPED_DATA	0	vma->vm_start	1
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520[c]
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&q->mmap_lock

mm/memory.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_mapping->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	vma->vm_file->f_mapping->host->i_sb->s_export_op->fh_to_dentry	0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max
PARAM_VALUE	0	vma->vm_file->f_mapping->host->i_sb->s_export_op->fh_to_parent	0,5297,148606482432692224,436469935444291584,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000,3511613614414655488-s64max
PARAM_VALUE	0	vma->vm_file->f_mapping->host->i_sb->s_export_op->get_parent	0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_mm->mmap_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_mm->mmap_lock.first_waiter->type	0-1
PARAM_VALUE	0	vma->vm_mm->vma_writer_wait.task->sched_class->uclamp_enabled	0-1
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1)-s32max
BUF_SIZE	0	vma	(-1)-s32max
BUF_SIZE	0	vma->vm_file	(-1)-s32max
BUF_SIZE	0	vma->vm_ops	(-1),144
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_end
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->pfnmap_track_ctx->pfn	0-13510803177078779[c]
USER_DATA	0	vma->pfnmap_track_ctx->size	0,4096-u64max[c]
USER_DATA	0	vma->vm_end	0-u64max
USER_DATA	0	vma->vm_pgoff	0-13510803177078779[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
UNITS	0	vma	unit_byte
HALF_LOCKED2	0	&vma->vm_mm->mmap_lock

drivers/gpu/drm/vc4/vc4_bo.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	0,4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_flags	0x0,0xfffffffffffffffd
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&info->mm_lock

drivers/infiniband/hw/mlx5/main.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	3158554682918604800
PARAM_VALUE	0	vma->vm_ops->access	0
PARAM_VALUE	0	vma->vm_ops->close	4810486129246203904
PARAM_VALUE	0	vma->vm_ops->fault	3470724416327221248
PARAM_VALUE	0	vma->vm_ops->find_normal_page	0
PARAM_VALUE	0	vma->vm_ops->get_policy	0
PARAM_VALUE	0	vma->vm_ops->huge_fault	0
PARAM_VALUE	0	vma->vm_ops->map_pages	0
PARAM_VALUE	0	vma->vm_ops->mapped	0
PARAM_VALUE	0	vma->vm_ops->may_split	0
PARAM_VALUE	0	vma->vm_ops->mprotect	0
PARAM_VALUE	0	vma->vm_ops->mremap	0
PARAM_VALUE	0	vma->vm_ops->name	0
PARAM_VALUE	0	vma->vm_ops->open	7977397490154700800
PARAM_VALUE	0	vma->vm_ops->page_mkwrite	0
PARAM_VALUE	0	vma->vm_ops->pagesize	0
PARAM_VALUE	0	vma->vm_ops->pfn_mkwrite	0
PARAM_VALUE	0	vma->vm_ops->set_policy	0
PARAM_VALUE	0	vma->vm_ops->uffd_ops	0
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-s32max
BUF_SIZE	0	vma->vm_ops	144
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_flags	0x0,0xfffffffffffffffd
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
LOCK2		&file->device->disassociate_srcu
LOCK2		&file->disassociation_lock
HALF_LOCKED2		&ipcp->lock
TYPE_LOCK		(struct ib_uverbs_device)->disassociate_srcu
TYPE_LOCK		(struct ib_uverbs_file)->disassociation_lock

drivers/infiniband/hw/hfi1/file_ops.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_pgoff	0
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_flags	0x8,0xffffffffffffffff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

drivers/xen/privcmd-buf.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_flags	0x8,0xffffffffffffffff
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
LOCK2		&file_priv->lock
HALF_LOCKED2		&ipcp->lock
TYPE_LOCK		(struct privcmd_buf_private)->lock

kernel/events/core.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
CAPPED_DATA	0	vma->vm_pgoff	1
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_flags	0x8,0xffffffffffffffff
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
LOCK2		_T->lock
HALF_LOCKED2		&ipcp->lock

sound/core/pcm_native.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	3109444539215491072,4596178350544596992,7905163898462179328
PARAM_VALUE	0	vma->vm_ops->access	0
PARAM_VALUE	0	vma->vm_ops->close	0,3201424705169793024
PARAM_VALUE	0	vma->vm_ops->fault	0,645152204992729088,5496179424520396800
PARAM_VALUE	0	vma->vm_ops->find_normal_page	0
PARAM_VALUE	0	vma->vm_ops->get_policy	0
PARAM_VALUE	0	vma->vm_ops->huge_fault	0
PARAM_VALUE	0	vma->vm_ops->map_pages	0
PARAM_VALUE	0	vma->vm_ops->mapped	0
PARAM_VALUE	0	vma->vm_ops->may_split	0
PARAM_VALUE	0	vma->vm_ops->mprotect	0
PARAM_VALUE	0	vma->vm_ops->mremap	0
PARAM_VALUE	0	vma->vm_ops->name	0
PARAM_VALUE	0	vma->vm_ops->open	0,8600794710347657216
PARAM_VALUE	0	vma->vm_ops->page_mkwrite	0
PARAM_VALUE	0	vma->vm_ops->pagesize	0
PARAM_VALUE	0	vma->vm_ops->pfn_mkwrite	0
PARAM_VALUE	0	vma->vm_ops->set_policy	0
PARAM_VALUE	0	vma->vm_ops->uffd_ops	0
PARAM_VALUE	0	vma->vm_private_data	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-s32max
BUF_SIZE	0	vma->vm_ops	144
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

drivers/gpu/drm/amd/amdgpu/../amdkfd/kfd_chardev.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),1-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

drivers/xen/privcmd.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

drivers/gpu/drm/virtio/virtgpu_vram.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	0,4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&info->mm_lock

drivers/gpu/drm/panthor/panthor_device.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_pgoff	0-4503599627370495
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),1-s32max
BUF_SIZE	0	vma->vm_ops	(-1),144
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_flags	0x8,0xffffffffffffffff
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
LOCK2		global &drm_unplug_srcu
HALF_LOCKED2		&ipcp->lock

drivers/gpu/drm/xen/xen_drm_front_gem.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	0,4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&info->mm_lock

drivers/gpu/drm/etnaviv/etnaviv_gem.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	0,4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&info->mm_lock

drivers/gpu/drm/drm_gem.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	4096-ptr_max
PARAM_VALUE	0	vma->vm_private_data	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-4064
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&info->mm_lock

kernel/bpf/arena.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->flags.__vma_flags	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	2996806912159092736
PARAM_VALUE	0	vma->vm_ops->access	0
PARAM_VALUE	0	vma->vm_ops->close	4838103015481118720
PARAM_VALUE	0	vma->vm_ops->fault	0
PARAM_VALUE	0	vma->vm_ops->find_normal_page	0
PARAM_VALUE	0	vma->vm_ops->get_policy	0
PARAM_VALUE	0	vma->vm_ops->huge_fault	0
PARAM_VALUE	0	vma->vm_ops->map_pages	0
PARAM_VALUE	0	vma->vm_ops->mapped	0
PARAM_VALUE	0	vma->vm_ops->may_split	0
PARAM_VALUE	0	vma->vm_ops->mprotect	0
PARAM_VALUE	0	vma->vm_ops->mremap	0
PARAM_VALUE	0	vma->vm_ops->name	0
PARAM_VALUE	0	vma->vm_ops->open	3193429410715623424
PARAM_VALUE	0	vma->vm_ops->page_mkwrite	0
PARAM_VALUE	0	vma->vm_ops->pagesize	0
PARAM_VALUE	0	vma->vm_ops->pfn_mkwrite	0
PARAM_VALUE	0	vma->vm_ops->set_policy	0
PARAM_VALUE	0	vma->vm_ops->uffd_ops	0
PARAM_VALUE	0	vma->vm_pgoff	0
PARAM_VALUE	0	vma->vm_private_data	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),1-s32max
BUF_SIZE	0	vma->vm_ops	144
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_flags	0x8,0xffffffffffffffff
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
LOCK2		_T->lock
HALF_LOCKED2		&ipcp->lock

drivers/gpu/drm/gma500/fbdev.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	8629641317000003584
PARAM_VALUE	0	vma->vm_pgoff	0
PARAM_VALUE	0	vma->vm_private_data	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),1-s32max
BUF_SIZE	0	vma->vm_ops	144
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
LOCK2		&info->mm_lock
HALF_LOCKED2		&ipcp->lock
TYPE_LOCK		(struct fb_info)->mm_lock

drivers/gpu/drm/ttm/ttm_bo_vm.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	4096-ptr_max
PARAM_VALUE	0	vma->vm_private_data	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),4,24,64,168-s32max
BUF_SIZE	0	vma->vm_ops	(-1),144
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&info->mm_lock

drivers/xen/gntalloc.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_private_data	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	16
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_flags	0x8,0xffffffffffffffff
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
LOCK2		global &gref_mutex
HALF_LOCKED2		&ipcp->lock

drivers/dma-buf/heaps/cma_heap.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_flags	8-u64max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),1-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff

drivers/gpu/drm/amd/amdgpu/amdgpu_gem.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	0,4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_flags	0x0,0xfffffffffffffff8
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&info->mm_lock

sound/usb/usx2y/us122l.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	315431199337730048
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),1-s32max
BUF_SIZE	0	vma->vm_ops	144
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
LOCK2		_T->lock
HALF_LOCKED2		&ipcp->lock

drivers/media/common/videobuf2/videobuf2-dma-contig.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->pfnmap_track_ctx->pfn	0-13510803177078779[c]
USER_DATA	0	vma->pfnmap_track_ctx->size	0,4096-u64max[c]
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-13510803177078779[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&q->mmap_lock

mm/mempolicy.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
DATA_SOURCE	0	vma	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_policy->flags	0,24,8192-57368[c]
USER_DATA	0	vma->vm_policy->home_node	0-1023
USER_DATA	0	vma->vm_policy->mode	2,5
LOCK2		&mm->mmap_lock
HALF_LOCKED2		global &cpuset_mutex
TYPE_LOCK		(struct mm_struct)->mmap_lock

drivers/hsi/clients/cmt_speech.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
CAPPED_DATA	0	vma->vm_start	1
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

kernel/trace/ring_buffer.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->access	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->close	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->fault	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->find_normal_page	0,7701293790578647040
PARAM_VALUE	0	vma->vm_ops->get_policy	0,4616414333962629120,4828607683292463104,8976238440117981184
PARAM_VALUE	0	vma->vm_ops->huge_fault	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->map_pages	0,3176874211750576128,5698041470598119424
PARAM_VALUE	0	vma->vm_ops->mapped	0,2789832010611625984,3142991724353884160,4592370608720261120,7407017443569868800
PARAM_VALUE	0	vma->vm_ops->may_split	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->mprotect	0,1325936775103746048
PARAM_VALUE	0	vma->vm_ops->mremap	0,3413040981811294208,4989069621795885056,4994350079563595776,5833245582275645440,6365626294419795968
PARAM_VALUE	0	vma->vm_ops->name	0,4895095206942478336,8589198899344281600
PARAM_VALUE	0	vma->vm_ops->open	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->page_mkwrite	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->pagesize	0,1990568509668610048,3507690403222872064,7130740471179698176
PARAM_VALUE	0	vma->vm_ops->pfn_mkwrite	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->set_policy	0,1009606358897582080,5296408793753837568,9131342062321688576
PARAM_VALUE	0	vma->vm_ops->uffd_ops	0,2881150691235323904,7418773112577396736
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_flags	0x80,0xffffffffffffffff
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
LOCK2		_T->lock
HALF_LOCKED2		&ipcp->lock

drivers/accel/habanalabs/common/memory.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	6229407368966115328
PARAM_VALUE	0	vma->vm_pgoff	0
PARAM_VALUE	0	vma->vm_private_data	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_ops	144
CAPPED_DATA	0	vma->vm_start	1
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520[c]
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

drivers/gpu/drm/omapdrm/omap_gem.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	0,4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&info->mm_lock

mm/vmalloc.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_end	1-u64max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_mm->page_table_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),4,24,64,168-s32max
BUF_SIZE	0	vma->vm_ops	(-1),144
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
CAPPED_DATA	0	vma->vm_start	1
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->pfnmap_track_ctx->pfn	0-13510803177078779[c]
USER_DATA	0	vma->pfnmap_track_ctx->size	0,4096-u64max[c]
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-13510803177078779[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520[c]
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff

drivers/infiniband/hw/ionic/ionic_controlpath.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
DATA_SOURCE	0	vma	$0
BIT_INFO	0	vma->vm_flags	0x8,0xffffffffffffffff
NOCHECK_CALL

sound/core/oss/pcm_oss.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

drivers/dma-buf/udmabuf.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_flags	8-u64max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	2710982528176791552
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),1-s32max
BUF_SIZE	0	vma->vm_ops	144
BUF_SIZE	0	vma->vm_private_data	16,24,40,48,56,72,80,112,120,136,168,184,224
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff

drivers/vfio/pci/nvgrace-gpu/main.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),1-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

mm/mlock.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
CAPPED_DATA	0	vma	1
DATA_SOURCE	0	vma	$0
NOCHECK_CALL
USER_DATA	0	vma->vm_start	1-u64max[c]
NO_OVERFLOW_SIMPLE	0	vma->vm_end
NO_OVERFLOW_SIMPLE	0	vma->vm_start

drivers/gpu/drm/rockchip/rockchip_drm_gem.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_pgoff	0
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&info->mm_lock

mm/khugepaged.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_inode->i_sb->s_cop->inode_info_offs	1632,1720,1808,2632,2648,2704,2712
PARAM_VALUE	0	vma->vm_file->f_mapping->host->i_sb->s_export_op->fh_to_dentry	0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
DATA_SOURCE	0	vma	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&mm->mmap_lock
TYPE_LOCK		(struct mm_struct)->mmap_lock

drivers/gpu/drm/i915/gem/i915_gem_mman.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),1-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&info->mm_lock
HALF_LOCKED2		&ipcp->lock

drivers/gpu/drm/drm_gem_shmem_helper.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	0,4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_ops	(-1),144
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff

drivers/hwtracing/intel_th/msu.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->private_data	4096-ptr_max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_pgoff	0
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock

drivers/gpu/drm/msm/msm_gem.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	0,4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1)-0,4,24,64,168-s32max
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&info->mm_lock

drivers/accel/amdxdna/amdxdna_cbuf.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	5247172971220205568
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),1-s32max
BUF_SIZE	0	vma->vm_ops	144
BUF_SIZE	0	vma->vm_private_data	16,24,40,48,56,72,80,112,120,136,168,184,224
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff

fs/exec.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->anon_name	0
PARAM_VALUE	0	vma->anon_vma	0
PARAM_VALUE	0	vma->numab_state	0
PARAM_VALUE	0	vma->pfnmap_track_ctx	0
PARAM_VALUE	0	vma->swap_readahead_info.counter	0
PARAM_VALUE	0	vma->vm_file	0
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.dep_map->name	0-255
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->list.next	2212933610777083904,2624917664208203776
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->list.prev	2212933610777083904,2624917664208203776
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	vma->vm_file->f_mapping->i_mmap_rwsem.osq.tail.counter	0-s32max
PARAM_VALUE	0	vma->vm_flags	0
PARAM_VALUE	0	vma->vm_freeptr.v	0
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_mm->notifier_subscriptions->has_itree	0-1
PARAM_VALUE	0	vma->vm_pgoff	0-4503599627370495
PARAM_VALUE	0	vma->vm_policy	0
PARAM_VALUE	0	vma->vm_private_data	0
PARAM_VALUE	0	vma->vm_private_data->rw_sema->wait_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	vma->vm_private_data->rw_sema.dep_map->name	0-255
PARAM_VALUE	0	vma->vm_private_data->rw_sema.first_waiter->handoff_set	1
PARAM_VALUE	0	vma->vm_private_data->rw_sema.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	vma->vm_private_data->rw_sema.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	vma->vm_private_data->rw_sema.first_waiter->type	0-1
PARAM_VALUE	0	vma->vm_private_data->rw_sema.osq.tail.counter	0-s32max
PARAM_VALUE	0	vma->vm_refcnt.refs.counter	1
PARAM_VALUE	0	vma->vm_userfaultfd_ctx.ctx	0
PARAM_VALUE	0	vma->vmlock_dep_map.cpu	0
PARAM_VALUE	0	vma->vmlock_dep_map.ip	0
PARAM_VALUE	0	vma->vmlock_dep_map.lock_type	0
PARAM_VALUE	0	vma->vmlock_dep_map.name	4861890868653174784,6557282060885467136
PARAM_VALUE	1	state	2
CAPPED_DATA	0	vma	1
DATA_SOURCE	0	vma	$0
TERMINATED	0	vma->vmlock_dep_map.name	1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	vma->vm_start
LOCK2		&mm->mmap_lock
LOCK2		&tsk->signal->exec_update_lock
TYPE_LOCK		(struct mm_struct)->mmap_lock

drivers/infiniband/hw/vmw_pvrdma/pvrdma_verbs.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	3158554682918604800
PARAM_VALUE	0	vma->vm_ops->access	0
PARAM_VALUE	0	vma->vm_ops->close	4810486129246203904
PARAM_VALUE	0	vma->vm_ops->fault	3470724416327221248
PARAM_VALUE	0	vma->vm_ops->find_normal_page	0
PARAM_VALUE	0	vma->vm_ops->get_policy	0
PARAM_VALUE	0	vma->vm_ops->huge_fault	0
PARAM_VALUE	0	vma->vm_ops->map_pages	0
PARAM_VALUE	0	vma->vm_ops->mapped	0
PARAM_VALUE	0	vma->vm_ops->may_split	0
PARAM_VALUE	0	vma->vm_ops->mprotect	0
PARAM_VALUE	0	vma->vm_ops->mremap	0
PARAM_VALUE	0	vma->vm_ops->name	0
PARAM_VALUE	0	vma->vm_ops->open	7977397490154700800
PARAM_VALUE	0	vma->vm_ops->page_mkwrite	0
PARAM_VALUE	0	vma->vm_ops->pagesize	0
PARAM_VALUE	0	vma->vm_ops->pfn_mkwrite	0
PARAM_VALUE	0	vma->vm_ops->set_policy	0
PARAM_VALUE	0	vma->vm_ops->uffd_ops	0
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),1-s32max
BUF_SIZE	0	vma->vm_ops	144
BUF_SIZE	0	vma->vm_private_data	(-1),1-s32max
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_pgoff
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_pgoff	0-4503599627370495[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
LOCK2		&file->device->disassociate_srcu
LOCK2		&file->disassociation_lock
HALF_LOCKED2		&ipcp->lock
TYPE_LOCK		(struct ib_uverbs_device)->disassociate_srcu
TYPE_LOCK		(struct ib_uverbs_file)->disassociation_lock

drivers/accel/habanalabs/goya/goya.c vma_start_write() -> __vma_start_write()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	vma->vm_file->f_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	0	vma->vm_ops	6229407368966115328
PARAM_VALUE	0	vma->vm_ops->access	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->close	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->fault	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->find_normal_page	0,7701293790578647040
PARAM_VALUE	0	vma->vm_ops->get_policy	0,4616414333962629120,4828607683292463104,8976238440117981184
PARAM_VALUE	0	vma->vm_ops->huge_fault	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->map_pages	0,3176874211750576128,5698041470598119424
PARAM_VALUE	0	vma->vm_ops->mapped	0,2789832010611625984,3142991724353884160,4592370608720261120,7407017443569868800
PARAM_VALUE	0	vma->vm_ops->may_split	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->mprotect	0,1325936775103746048
PARAM_VALUE	0	vma->vm_ops->mremap	0,3413040981811294208,4989069621795885056,4994350079563595776,5833245582275645440,6365626294419795968
PARAM_VALUE	0	vma->vm_ops->name	0,4895095206942478336,8589198899344281600
PARAM_VALUE	0	vma->vm_ops->open	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->page_mkwrite	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->pagesize	0,1990568509668610048,3507690403222872064,7130740471179698176
PARAM_VALUE	0	vma->vm_ops->pfn_mkwrite	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_ops->set_policy	0,1009606358897582080,5296408793753837568,9131342062321688576
PARAM_VALUE	0	vma->vm_ops->uffd_ops	0,2881150691235323904,7418773112577396736
PARAM_VALUE	0	vma->vm_pgoff	0
PARAM_VALUE	0	vma->vm_private_data	4096-ptr_max
PARAM_VALUE	1	state	2
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma	(-1),1-s32max
BUF_SIZE	0	vma->vm_file	(-1),4,24,64,168-s32max
BUF_SIZE	0	vma->vm_ops	144
CAPPED_DATA	0	vma->vm_start	1
DATA_SOURCE	0	vma	$0
NOSPEC	0	vma->vm_start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	vma->vm_end	4096-u64max[c]
USER_DATA	0	vma->vm_start	0-18446744073709547520[c]
NO_OVERFLOW_SIMPLE	0	vma->vm_pgoff
HALF_LOCKED2		&ipcp->lock