Defined in 1 files as a function:

Referenced in 37 files:

Smatch caller information:

drivers/dax/device.c dev_dax_probe() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
BUF_SIZE 0 range 16
RX_PATH
TASK_NOT_RUNNING

drivers/nvdimm/pmem.c pmem_attach_disk() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
MEM_ZERO 0 range
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex

drivers/dax/bus.c __devm_create_dev_dax() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &dax_region_rwsem
HALF_LOCKED2 &of->mutex

drivers/dax/bus.c alloc_dax_region() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
DATA_SOURCE 0 range $2
RX_PATH
TASK_NOT_RUNNING

drivers/dax/bus.c alloc_dev_dax_range() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 global &dax_dev_rwsem
LOCK2 global &dax_region_rwsem
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/dax/bus.c dax_pgoff_to_phys() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
BUF_SIZE 0 range 16
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &dax_srcu

drivers/dax/bus.c dev_dax_shrink() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
BUF_SIZE 0 range 16
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 global &dax_dev_rwsem
LOCK2 global &dax_region_rwsem
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/dax/bus.c dev_dax_shrink() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
BUF_SIZE 0 range 16
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 global &dax_dev_rwsem
LOCK2 global &dax_region_rwsem
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/dax/bus.c dev_dax_shrink() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
BUF_SIZE 0 range 16
CAPPED_DATA 0 range->start 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 global &dax_dev_rwsem
LOCK2 global &dax_region_rwsem
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/dax/bus.c dev_dax_size() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &dax_dev_rwsem
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &victim->mutex
HALF_LOCKED2 global &dax_region_rwsem

drivers/dax/bus.c dev_dax_validate_align() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 global &dax_dev_rwsem
LOCK2 global &dax_region_rwsem
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/dax/bus.c mapping_store() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 8249397914145419264
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 range->end 0-u64max
USER_DATA 0 range->start 0-u64max
NO_OVERFLOW_SIMPLE 0 range->end
NO_OVERFLOW_SIMPLE 0 range->start
LOCK2 &of->mutex
LOCK2 global &dax_dev_rwsem
LOCK2 global &dax_region_rwsem
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/dax/bus.c trim_dev_dax_range() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
BUF_SIZE 0 range 16
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &dax_region_rwsem
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &dax_dev_rwsem

lib/test_hmm.c dmirror_allocate_chunk() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
LOCK2 &mdevice->devmem_lock
HALF_LOCKED2 &mm->mmap_lock
TYPE_LOCK (struct dmirror_device)->devmem_lock

lib/test_hmm.c dmirror_allocate_chunk() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
HALF_LOCKED2 &mm->mmap_lock

lib/test_hmm.c dmirror_device_remove_chunks() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &mdevice->devmem_lock
TYPE_LOCK (struct dmirror_device)->devmem_lock

drivers/cxl/core/region.c __construct_region() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 7949928698902257672
BUF_SIZE 0 range 16
LOCK2 _T->lock

mm/memory_hotplug.c offline_and_remove_memory_ranges() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock

mm/memory_hotplug.c offline_and_remove_memory_ranges() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &device_hotplug_lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock

mm/memory_hotplug.c offline_and_remove_memory_ranges() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &device_hotplug_lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock

mm/memory_hotplug.c offline_and_remove_memory_ranges() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &device_hotplug_lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock

drivers/cxl/core/port.c size_show() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 1624,4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/pci/p2pdma.c pci_p2pdma_add_resource() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
MEM_ZERO 0 range
RX_PATH
TASK_NOT_RUNNING

drivers/dax/cxl.c cxl_dax_region_probe() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex

drivers/cxl/acpi.c cxl_setup_extended_linear_cache() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
BUF_SIZE 0 range 16
RX_PATH
TASK_NOT_RUNNING

drivers/cxl/core/hdm.c cxl_dpa_setup() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 _T->lock

drivers/cxl/core/hdm.c cxl_setup_hdm_decoder_from_dvsec() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &port->dev.mutex

drivers/cxl/core/hdm.c setup_hw_decoder() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 _T->lock
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/dax/fsdev.c fsdev_dax_probe() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
BUF_SIZE 0 range 16
RX_PATH
TASK_NOT_RUNNING

drivers/dax/fsdev.c fsdev_dax_probe() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/dax/fsdev.c fsdev_pfn_to_offset() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
BUF_SIZE 0 range 16
CAPPED_DATA 0 range->start 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &mf_mutex
HALF_LOCKED2 &attr->mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 &pool->lock

mm/memory.c folio_zero_user() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode->i_rwsem

drivers/dax/kmem.c dax_kmem_do_hotplug() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 6355964391258980352
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

drivers/dax/kmem.c dax_kmem_init_resources() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 89873685159849984
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

drivers/dax/kmem.c dax_kmem_remove_ranges() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 2823848221274775552
RX_PATH
TASK_NOT_RUNNING
LOCK2 &dev->mutex
TYPE_LOCK (struct device)->mutex

drivers/dax/kmem.c dev_dax_kmem_probe() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/dax/kmem.c dev_dax_kmem_probe() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 2680728139692797952
RX_PATH
TASK_NOT_RUNNING

drivers/virt/nitro_enclaves/ne_misc_dev.c ne_misc_dev_test_merge_phys_contig_memory_regions() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max

drivers/virt/nitro_enclaves/ne_misc_dev.c ne_set_user_memory_region_ioctl() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
LOCK2 &ne_enclave->enclave_info_mutex
TYPE_LOCK (struct ne_enclave)->enclave_info_mutex

drivers/virt/nitro_enclaves/ne_misc_dev.c ne_set_user_memory_region_ioctl() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
LOCK2 &ne_enclave->enclave_info_mutex
TYPE_LOCK (struct ne_enclave)->enclave_info_mutex

drivers/gpu/drm/nouveau/nouveau_dmem.c nouveau_dmem_chunk_alloc() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
LOCK2 &mm->mmap_lock
TYPE_LOCK (struct mm_struct)->mmap_lock

drivers/gpu/drm/nouveau/nouveau_dmem.c nouveau_dmem_evict_chunk() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &drm->dmem->mutex
TYPE_LOCK (struct nouveau_dmem)->mutex

drivers/gpu/drm/nouveau/nouveau_dmem.c nouveau_dmem_fini() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &drm->dmem->mutex
TYPE_LOCK (struct nouveau_dmem)->mutex

drivers/dax/hmem/hmem.c dax_hmem_probe() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/nvdimm/pfn_devs.c __nvdimm_setup_pfn() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
BUF_SIZE 0 range 16
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex

mm/memremap.c pagemap_range() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mdevice->devmem_lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 global &list_lock

mm/memremap.c pagemap_range() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mdevice->devmem_lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 global &list_lock

mm/memremap.c pagemap_range() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mdevice->devmem_lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 global &list_lock

mm/memremap.c pagemap_range() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
PARAM_VALUE 0 range->start 0-18446744073709551614
CAPPED_DATA 0 range->start 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mdevice->devmem_lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 global &list_lock

mm/memremap.c pagemap_range() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
PARAM_VALUE 0 range->start 0-18446744073709551614
CAPPED_DATA 0 range->start 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mdevice->devmem_lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 global &list_lock

mm/memremap.c pagemap_range() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
PARAM_VALUE 0 range->start 0-18446744073709551614
CAPPED_DATA 0 range->start 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mdevice->devmem_lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 global &list_lock

mm/memremap.c pagemap_range() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
PARAM_VALUE 0 range->start 0-18446744073709551614
CAPPED_DATA 0 range->start 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mdevice->devmem_lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 global &list_lock

mm/memremap.c pagemap_range() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
PARAM_VALUE 0 range->start 0-18446744073709551614
CAPPED_DATA 0 range->start 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mdevice->devmem_lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 global &list_lock

mm/memremap.c pagemap_range() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
PARAM_VALUE 0 range->start 0-18446744073709551614
CAPPED_DATA 0 range->start 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mdevice->devmem_lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 global &list_lock

mm/memremap.c pagemap_range() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mdevice->devmem_lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 global &list_lock

mm/memremap.c pageunmap_range() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &drm->dmem->mutex
HALF_LOCKED2 &mdevice->devmem_lock

mm/memremap.c pageunmap_range() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &drm->dmem->mutex
HALF_LOCKED2 &mdevice->devmem_lock

mm/memremap.c pageunmap_range() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &drm->dmem->mutex
HALF_LOCKED2 &mdevice->devmem_lock

mm/memremap.c pageunmap_range() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &drm->dmem->mutex
HALF_LOCKED2 &mdevice->devmem_lock

mm/memremap.c pageunmap_range() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &drm->dmem->mutex
HALF_LOCKED2 &mdevice->devmem_lock

mm/memremap.c pfn_end() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mdevice->devmem_lock

drivers/dax/pmem.c __dax_pmem_probe() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 3485673764756475904
PARAM_VALUE 0 range->end 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex

drivers/cxl/core/atl.c cxl_prm_setup_root() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 7949928698902257672

drivers/cxl/core/atl.c cxl_prm_setup_root() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 8276953927049691136
PARAM_VALUE 0 range->end u64max
PARAM_VALUE 0 range->start 0,268435456-u64max

drivers/nvdimm/badrange.c badblocks_populate() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 223280754670747648,3375765364503945216,5585849707465592832,6076954643497852928,8079710976360366080
PARAM_VALUE 0 range->end 0-18446744073709551614
CAPPED_DATA 0 range->end 1
CAPPED_DATA 0 range->start 1
DATA_SOURCE 0 range $2
PARAM_COMPARE 0 range->end >= $0->start
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex

drivers/nvdimm/badrange.c badblocks_populate() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 223280754670747648,3375765364503945216,5585849707465592832,6076954643497852928,8079710976360366080
PARAM_VALUE 0 range->start 1-u64max
CAPPED_DATA 0 range->end 1
CAPPED_DATA 0 range->start 1
DATA_SOURCE 0 range $2
PARAM_COMPARE 0 range->end >= $0->start
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex

drivers/net/ethernet/sfc/efx_cxl.c efx_cxl_init() -> range_len()

Type Parameter Key Value
PARAM_VALUE 0 range 3487068720858218496
RX_PATH
TASK_NOT_RUNNING