Defined in 2 files as a function:
- include/linux/mm.h, line 1041 (as a function)
- tools/testing/vma/include/dup.h, line 940 (as a function)
Referenced in 75 files:
- arch/powerpc/kvm/book3s_xive_native.c, line 327
- arch/powerpc/mm/book3s64/subpage_prot.c, line 162
- arch/powerpc/platforms/book3s/vas-api.c, line 568
- arch/powerpc/platforms/cell/spufs/file.c
- arch/x86/kernel/cpu/sgx/driver.c, line 118
- arch/x86/kernel/cpu/sgx/virt.c, line 110
- drivers/accel/amdxdna/aie4_pci.c, line 543
- drivers/accel/amdxdna/amdxdna_cbuf.c, line 187
- drivers/accel/habanalabs/common/memory.c, line 2106
- drivers/accel/habanalabs/gaudi/gaudi.c
- drivers/accel/habanalabs/gaudi2/gaudi2.c
- drivers/accel/habanalabs/goya/goya.c, line 2876
- drivers/crypto/hisilicon/qm.c, line 2637
- drivers/dma-buf/heaps/cma_heap.c, line 191
- drivers/dma-buf/udmabuf.c, line 103
- drivers/dma/idxd/cdev.c, line 417
- drivers/gpu/drm/amd/amdkfd/kfd_chardev.c, line 3705
- drivers/gpu/drm/amd/amdkfd/kfd_doorbell.c, line 127
- drivers/gpu/drm/drm_gem.c, line 1253
- drivers/gpu/drm/drm_gem_shmem_helper.c, line 784
- drivers/gpu/drm/etnaviv/etnaviv_gem.c, line 134
- drivers/gpu/drm/exynos/exynos_drm_gem.c, line 373
- drivers/gpu/drm/gma500/fbdev.c, line 67
- drivers/gpu/drm/i915/gem/i915_gem_mman.c, line 1012
- drivers/gpu/drm/msm/msm_gem.c, line 1129
- drivers/gpu/drm/omapdrm/omap_gem.c, line 538
- drivers/gpu/drm/panthor/panthor_device.c, line 468
- drivers/gpu/drm/panthor/panthor_gem.c, line 778
- drivers/gpu/drm/ttm/ttm_bo_vm.c, line 511
- drivers/gpu/drm/virtio/virtgpu_vram.c, line 58
- drivers/gpu/drm/xe/xe_device.c, line 341
- drivers/gpu/drm/xe/xe_mmio_gem.c, line 153
- drivers/hsi/clients/cmt_speech.c, line 1267
- drivers/hv/mshv_vtl_main.c, line 1286
- drivers/hwtracing/intel_th/msu.c, line 1663
- drivers/infiniband/hw/usnic/usnic_ib_verbs.c, line 673
- drivers/infiniband/hw/vmw_pvrdma/pvrdma_verbs.c, line 385
- drivers/media/common/videobuf2/videobuf2-dma-contig.c, line 296
- drivers/media/common/videobuf2/videobuf2-dma-sg.c, line 348
- drivers/media/common/videobuf2/videobuf2-vmalloc.c, line 189
- drivers/misc/ocxl/context.c, line 207
- drivers/misc/ocxl/sysfs.c, line 137
- drivers/misc/uacce/uacce.c, line 258
- drivers/scsi/sg.c, line 1288
- drivers/staging/media/atomisp/pci/hmm/hmm_bo.c, line 1070
- drivers/uio/uio.c, line 731
- drivers/usb/core/devio.c, line 293
- drivers/vdpa/vdpa_user/iova_domain.c, line 582
- drivers/vfio/pci/nvgrace-gpu/main.c
- drivers/vfio/pci/vfio_pci_core.c, line 1890
- drivers/vhost/vdpa.c, line 1562
- drivers/video/fbdev/68328fb.c, line 394
- drivers/video/fbdev/core/fb_defio.c
- drivers/xen/gntalloc.c, line 537
- drivers/xen/gntdev.c
- drivers/xen/privcmd-buf.c, line 160
- drivers/xen/privcmd.c, line 1648
- fs/cramfs/inode.c, line 420
- fs/fuse/dax.c, line 829
- io_uring/memmap.c, line 291
- kernel/bpf/arena.c, line 624
- kernel/events/core.c, line 7482
- kernel/kcov.c, line 524
- mm/ksm.c, line 2874
- mm/memory.c
- mm/nommu.c
- mm/vmalloc.c, line 4857
- net/ipv4/tcp.c, line 1874
- security/selinux/selinuxfs.c, line 435
- sound/core/oss/pcm_oss.c, line 2922
- sound/core/pcm_native.c
- sound/soc/pxa/mmp-sspa.c, line 407
- sound/usb/usx2y/us122l.c
- sound/usb/usx2y/usX2Yhwdep.c, line 60
- sound/usb/usx2y/usx2yhwdeppcm.c, line 708
Smatch caller information:
drivers/crypto/hisilicon/qm.c hisi_qm_uacce_mmap() -> vm_flags_set()
| 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 | 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 | flags | 16384 |
| 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),1216 |
| DATA_SOURCE | 0 | vma | $1 |
| 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-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 vduse_domain_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | flags | 67371008 |
| 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_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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 xe_pci_barrier_mmap() -> vm_flags_set()
| 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_pgoff | 80 |
| PARAM_VALUE | 1 | flags | 67388416 |
| 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-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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 usbdev_mmap() -> vm_flags_set()
| 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_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->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 | flags | 67387392 |
| 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_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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 vfio_pci_core_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 549823202304 |
| 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 | $1 |
| PARAM_COMPARE | 0 | vma->vm_end | >= $0->vm_start |
| 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 |
arch/x86/kernel/cpu/sgx/virt.c sgx_vepc_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops | 5961285702021222400 |
| PARAM_VALUE | 1 | flags | 67257344 |
| 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 | 144 |
| BUF_SIZE | 0 | vma->vm_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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 |
arch/x86/kernel/cpu/sgx/driver.c sgx_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops | 3498322916171345920 |
| PARAM_VALUE | 1 | flags | 67388416 |
| 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 | 144 |
| BUF_SIZE | 0 | vma->vm_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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 io_region_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 262144 |
| 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-s32max |
| DATA_SOURCE | 0 | vma | $2 |
| 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 hmm_bo_mmap() -> vm_flags_set()
| 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_ops | 3143343789495685120 |
| PARAM_VALUE | 0 | vma->vm_private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 67387392 |
| BUF_SIZE | 0 | vma->vm_ops | 144 |
| DATA_SOURCE | 0 | vma | $0 |
| NOCHECK_CALL |
drivers/gpu/drm/panthor/panthor_gem.c panthor_gem_mmap() -> vm_flags_set()
| 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_ops | 0,4096-ptr_max |
| PARAM_VALUE | 1 | flags | 67372032 |
| 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-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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 |
fs/cramfs/inode.c cramfs_physmem_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 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 | flags | 268435456 |
| 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_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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/scsi/sg.c sg_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_pgoff | 0 |
| PARAM_VALUE | 1 | flags | 67387392 |
| 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_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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 uio_mmap_logical() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_pgoff | 0-4 |
| PARAM_VALUE | 0 | vma->vm_private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 67371008 |
| 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 |
| 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[c] |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_pgoff | |
| LOCK2 | &idev->info_lock | ||
| HALF_LOCKED2 | &ipcp->lock | ||
| TYPE_LOCK | (struct uio_device)->info_lock |
drivers/media/common/videobuf2/videobuf2-vmalloc.c vb2_vmalloc_mmap() -> vm_flags_set()
| 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->page_table_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | flags | 262144 |
| 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-s32max |
| CAPPED_DATA | 0 | vma->vm_start | 1 |
| DATA_SOURCE | 0 | vma | $1 |
| PARAM_COMPARE | 0 | vma->vm_end | > $0->vm_start |
| 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 |
drivers/accel/amdxdna/aie4_pci.c aie4_doorbell_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_pgoff | 0-1048575 |
| PARAM_VALUE | 1 | flags | 67387392 |
| 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-s32max |
| CAPPED_DATA | 0 | vma->vm_pgoff | 1 |
| DATA_SOURCE | 0 | vma | $1 |
| 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 vhost_vdpa_mmap() -> vm_flags_set()
| 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->private_data | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_pgoff | 0-u16max |
| PARAM_VALUE | 1 | flags | 67388416 |
| 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_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| BIT_INFO | 0 | vma->vm_flags | 0x8,0xfffffffffffffffe |
| 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 idxd_cdev_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 131072 |
| 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_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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_mmio_gem.c xe_mmio_gem_mmap() -> vm_flags_set()
| 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_ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_pgoff | 0 |
| PARAM_VALUE | 1 | flags | 69616640 |
| 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-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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 |
net/ipv4/tcp.c tcp_mmap() -> vm_flags_set()
| 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 | flags | 268435456 |
| 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-s32max |
| DATA_SOURCE | 0 | vma | $2 |
| 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/accel/habanalabs/gaudi2/gaudi2.c gaudi2_block_mmap() -> vm_flags_set()
| 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_pgoff | 0 |
| PARAM_VALUE | 1 | flags | 69616640 |
| 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_start | 1 |
| DATA_SOURCE | 0 | vma | $1 |
| 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/accel/habanalabs/gaudi2/gaudi2.c gaudi2_mmap() -> vm_flags_set()
| 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_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 | flags | 69616640 |
| 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 |
| CAPPED_DATA | 0 | vma->vm_start | 1 |
| DATA_SOURCE | 0 | vma | $1 |
| 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/infiniband/hw/usnic/usnic_ib_verbs.c usnic_ib_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 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 | flags | 16384 |
| 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 | $1 |
| 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 |
sound/usb/usx2y/usX2Yhwdep.c snd_us428ctls_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops | 7980969361174089728 |
| PARAM_VALUE | 1 | flags | 67371008 |
| 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 | $2 |
| 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 fuse_dax_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops | 5066124675858436096 |
| PARAM_VALUE | 1 | flags | 805306368 |
| 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 | $1 |
| 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 __ksm_add_vma() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_file | 0,4096-ptr_max |
| PARAM_VALUE | 1 | flags | 2147483648 |
| DATA_SOURCE | 0 | vma | $0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mm->mmap_lock |
kernel/kcov.c kcov_mmap() -> vm_flags_set()
| 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->private_data | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_pgoff | 0 |
| PARAM_VALUE | 1 | flags | 262144 |
| 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_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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/xen/gntdev.c gntdev_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops | 1103192913614569472 |
| PARAM_VALUE | 1 | flags | 335806464 |
| 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 | 144 |
| BUF_SIZE | 0 | vma->vm_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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 |
drivers/xen/gntdev.c gntdev_mmap() -> vm_flags_set()
| 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 | 0 | vma->vm_ops | 1103192913614569472 |
| PARAM_VALUE | 1 | flags | 131072 |
| 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 | 144 |
| BUF_SIZE | 0 | vma->vm_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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 |
sound/usb/usx2y/usx2yhwdeppcm.c snd_usx2y_hwdep_pcm_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops | 6806128686820278272 |
| PARAM_VALUE | 1 | flags | 67371008 |
| 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 | $2 |
| 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 uacce_fops_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_pgoff | 0-1 |
| PARAM_VALUE | 1 | flags | 33947648 |
| 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_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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 kfd_doorbell_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 69616640 |
| 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-s32max |
| DATA_SOURCE | 0 | vma | $2 |
| 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 exynos_drm_gem_mmap() -> vm_flags_set()
| 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_ops | 0,4096-ptr_max |
| PARAM_VALUE | 1 | flags | 67387392 |
| 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-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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 |
security/selinux/selinuxfs.c sel_mmap_policy() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 67371008 |
| 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_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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 fb_deferred_io_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops | 8153815770348978176 |
| PARAM_VALUE | 1 | flags | 67371008 |
| 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 | $1 |
| 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/video/fbdev/core/fb_defio.c fb_deferred_io_mmap() -> vm_flags_set()
| 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 | 0 | vma->vm_ops | 8153815770348978176 |
| PARAM_VALUE | 1 | flags | 16384 |
| 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 | $1 |
| 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 gaudi_mmap() -> vm_flags_set()
| 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_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 | flags | 69616640 |
| 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 |
| CAPPED_DATA | 0 | vma->vm_start | 1 |
| DATA_SOURCE | 0 | vma | $1 |
| 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 vb2_dma_sg_mmap() -> vm_flags_set()
| 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->page_table_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | flags | 67371008 |
| 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-s32max |
| CAPPED_DATA | 0 | vma->vm_start | 1 |
| DATA_SOURCE | 0 | vma | $1 |
| 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 vm_insert_page() -> vm_flags_set()
| 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_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 | flags | 268435456 |
| 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 | (-1),144 |
| BUF_SIZE | 0 | vma->vm_private_data | (-1),1-s32max |
| CAPPED_DATA | 0 | vma->vm_start | 1 |
| DATA_SOURCE | 0 | vma | $0 |
| PARAM_COMPARE | 0 | vma->vm_end | > $0->vm_start |
| BIT_INFO | 0 | vma->vm_flags | 0x0,0xffffffffeffffbff |
| 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 | &file->device->disassociate_srcu | ||
| HALF_LOCKED2 | &file->disassociation_lock | ||
| HALF_LOCKED2 | &mm->mmap_lock | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | &po->pg_vec_lock | ||
| HALF_LOCKED2 | global &gref_mutex |
mm/memory.c vm_insert_pages() -> vm_flags_set()
| 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->vma_writer_wait.task->sched_class->uclamp_enabled | 0-1 |
| PARAM_VALUE | 1 | flags | 268435456 |
| 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 | (-1),144 |
| BUF_SIZE | 0 | vma->vm_private_data | (-1),1-s32max |
| CAPPED_DATA | 0 | vma->vm_start | 1 |
| DATA_SOURCE | 0 | vma | $0 |
| BIT_INFO | 0 | vma->vm_flags | 0x0,0xffffffffefffffff |
| NOSPEC | 0 | vma->vm_end | |
| NOSPEC | 0 | vma->vm_pgoff | |
| NOSPEC | 0 | vma->vm_start | |
| 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-18446744073709547520[c] |
| NO_OVERFLOW_SIMPLE | 0 | vma->vm_pgoff | |
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | 0 | &vma->vm_mm->mmap_lock |
drivers/xen/privcmd-buf.c privcmd_buf_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 278528 |
| 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_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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 perf_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 67502080 |
| 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_private_data | (-1),1-s32max |
| CAPPED_DATA | 0 | vma->vm_pgoff | 1 |
| DATA_SOURCE | 0 | vma | $1 |
| 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 snd_pcm_lib_default_mmap() -> vm_flags_set()
| 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_ops | 7905163898462179328 |
| PARAM_VALUE | 0 | vma->vm_ops->access | 0 |
| PARAM_VALUE | 0 | vma->vm_ops->close | 3201424705169793024 |
| 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 | 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 | flags | 67371008 |
| 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 |
| DATA_SOURCE | 0 | vma | $1 |
| 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/core/pcm_native.c snd_pcm_mmap_control() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops | 4596178350544596992 |
| PARAM_VALUE | 0 | vma->vm_private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 67371008 |
| 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 | $2 |
| BIT_INFO | 0 | vma->vm_flags | 0x1,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/gpu/drm/amd/amdgpu/../amdkfd/kfd_chardev.c kfd_mmio_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 69616640 |
| 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-s32max |
| DATA_SOURCE | 0 | vma | $2 |
| 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 privcmd_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | flags | 67519488 |
| 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_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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 virtio_gpu_vram_mmap() -> vm_flags_set()
| 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_ops | 0,4096-ptr_max |
| PARAM_VALUE | 1 | flags | 268697600 |
| 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-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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 panthor_device_mmap_io() -> vm_flags_set()
| 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 | 0 | vma->vm_ops | 8095082943703273472 |
| PARAM_VALUE | 0 | vma->vm_pgoff | 0-4503599627370495 |
| PARAM_VALUE | 1 | flags | 69616640 |
| 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 | $1 |
| 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/etnaviv/etnaviv_gem.c etnaviv_gem_mmap_obj() -> vm_flags_set()
| 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_ops | 0,4096-ptr_max |
| PARAM_VALUE | 1 | flags | 67372032 |
| 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-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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 drm_gem_mmap_obj() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 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 | flags | 67388416 |
| 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),16,24,40,48,56,72,80,112,120,136,168,184,224 |
| DATA_SOURCE | 0 | vma | $2 |
| 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 arena_map_mmap() -> vm_flags_set()
| 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 | 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 | flags | 393216 |
| 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 | $1 |
| 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 psb_fbdev_fb_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 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 | flags | 335822848 |
| 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 | $1 |
| 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 ttm_bo_mmap_obj() -> vm_flags_set()
| 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_ops | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 67388416 |
| 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 | (-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 gntalloc_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 67371008 |
| 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_private_data | 16 |
| DATA_SOURCE | 0 | vma | $1 |
| 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 cma_heap_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_flags | 8-u64max |
| PARAM_VALUE | 1 | flags | 67388416 |
| 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-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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 |
sound/usb/usx2y/us122l.c usb_stream_hwdep_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops | 315431199337730048 |
| PARAM_VALUE | 1 | flags | 67108864 |
| 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 | $2 |
| 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/usb/usx2y/us122l.c usb_stream_hwdep_mmap() -> vm_flags_set()
| 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 | 0 | vma->vm_ops | 315431199337730048 |
| PARAM_VALUE | 1 | flags | 262144 |
| 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 | $2 |
| 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 vb2_dc_mmap() -> vm_flags_set()
| 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 | 1 | flags | 67371008 |
| 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-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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 |
drivers/hsi/clients/cmt_speech.c cs_char_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 67387392 |
| 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_private_data | (-1),1-s32max |
| CAPPED_DATA | 0 | vma->vm_start | 1 |
| DATA_SOURCE | 0 | vma | $1 |
| PARAM_COMPARE | 0 | vma->vm_end | >= $0->vm_start |
| 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/accel/habanalabs/common/memory.c hl_ts_mmap() -> vm_flags_set()
| 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_ops | 6229407368966115328 |
| PARAM_VALUE | 0 | vma->vm_pgoff | 0 |
| PARAM_VALUE | 0 | vma->vm_private_data | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 69599232 |
| 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 |
| CAPPED_DATA | 0 | vma->vm_start | 1 |
| DATA_SOURCE | 0 | vma | $1 |
| 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 omap_gem_object_mmap() -> vm_flags_set()
| 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_ops | 0,4096-ptr_max |
| PARAM_VALUE | 1 | flags | 335822848 |
| 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-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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 remap_vmalloc_range_partial() -> vm_flags_set()
| 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->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->page_table_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | flags | 67371008 |
| 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 | (-1),144 |
| BUF_SIZE | 0 | vma->vm_private_data | (-1),1-s32max |
| CAPPED_DATA | 0 | vma->vm_start | 1 |
| DATA_SOURCE | 0 | vma | $0 |
| PARAM_COMPARE | 0 | vma->vm_end | > $0->vm_start |
| 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 |
sound/core/oss/pcm_oss.c snd_pcm_oss_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 1 |
| 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_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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 mmap_udmabuf() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_flags | 8-u64max |
| PARAM_VALUE | 0 | vma->vm_ops | 2710982528176791552 |
| PARAM_VALUE | 1 | flags | 67372032 |
| 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 | 16,24,40,48,56,72,80,112,120,136,168,184,224 |
| DATA_SOURCE | 0 | vma | $1 |
| 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 nvgrace_gpu_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 67388416 |
| 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-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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/vfio/pci/nvgrace-gpu/main.c nvgrace_gpu_mmap() -> vm_flags_set()
| 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 | flags | 549755813888 |
| 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-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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/i915/gem/i915_gem_mman.c i915_gem_object_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 67388416 |
| 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-s32max |
| DATA_SOURCE | 0 | vma | $2 |
| 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 drm_gem_shmem_mmap() -> vm_flags_set()
| 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_ops | 0,4096-ptr_max |
| PARAM_VALUE | 1 | flags | 67372032 |
| 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 | (-1),144 |
| BUF_SIZE | 0 | vma->vm_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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 intel_th_msc_mmap() -> vm_flags_set()
| 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->private_data | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_pgoff | 0 |
| PARAM_VALUE | 1 | flags | 268828672 |
| 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_private_data | (-1),1-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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 msm_gem_object_mmap() -> vm_flags_set()
| 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_ops | 0,4096-ptr_max |
| PARAM_VALUE | 1 | flags | 67372032 |
| 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-s32max |
| DATA_SOURCE | 0 | vma | $1 |
| 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 amdxdna_cbuf_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 4096-ptr_max |
| PARAM_VALUE | 0 | vma->vm_ops | 5247172971220205568 |
| PARAM_VALUE | 1 | flags | 67372032 |
| 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 | 16,24,40,48,56,72,80,112,120,136,168,184,224 |
| DATA_SOURCE | 0 | vma | $1 |
| 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/infiniband/hw/vmw_pvrdma/pvrdma_verbs.c pvrdma_mmap() -> vm_flags_set()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vma | 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 | flags | 393216 |
| 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 | $1 |
| 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 goya_mmap() -> vm_flags_set()
| 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_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 | flags | 69616640 |
| 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 |
| CAPPED_DATA | 0 | vma->vm_start | 1 |
| DATA_SOURCE | 0 | vma | $1 |
| 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 |