Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 15 files:

Smatch caller information:

kernel/resource_kunit.c resource_test_region_intersects() -> region_intersects()

Type Parameter Key Value
PARAM_VALUE 1 size 4096
PARAM_VALUE 2 flags 16777728
PARAM_VALUE 3 desc 0

kernel/resource_kunit.c resource_test_region_intersects() -> region_intersects()

Type Parameter Key Value
PARAM_VALUE 1 size 8192
PARAM_VALUE 2 flags 16777728
PARAM_VALUE 3 desc 0

kernel/resource_kunit.c resource_test_region_intersects() -> region_intersects()

Type Parameter Key Value
PARAM_VALUE 1 size 4096
PARAM_VALUE 2 flags 16777728
PARAM_VALUE 3 desc 0

kernel/resource_kunit.c resource_test_region_intersects() -> region_intersects()

Type Parameter Key Value
PARAM_VALUE 1 size 8192
PARAM_VALUE 2 flags 16777728
PARAM_VALUE 3 desc 0

kernel/resource_kunit.c resource_test_region_intersects() -> region_intersects()

Type Parameter Key Value
PARAM_VALUE 1 size 8192
PARAM_VALUE 2 flags 16777728
PARAM_VALUE 3 desc 0

kernel/resource_kunit.c resource_test_region_intersects() -> region_intersects()

Type Parameter Key Value
PARAM_VALUE 1 size 8192
PARAM_VALUE 2 flags 16777728
PARAM_VALUE 3 desc 0

kernel/resource_kunit.c resource_test_region_intersects() -> region_intersects()

Type Parameter Key Value
PARAM_VALUE 1 size 8192
PARAM_VALUE 2 flags 16777728
PARAM_VALUE 3 desc 0

kernel/resource_kunit.c resource_test_region_intersects() -> region_intersects()

Type Parameter Key Value
PARAM_VALUE 1 size 4096
PARAM_VALUE 2 flags 16777728
PARAM_VALUE 3 desc 0

kernel/resource_kunit.c resource_test_region_intersects() -> region_intersects()

Type Parameter Key Value
PARAM_VALUE 1 size 1052672
PARAM_VALUE 2 flags 16777728
PARAM_VALUE 3 desc 0

kernel/resource_kunit.c resource_test_region_intersects() -> region_intersects()

Type Parameter Key Value
PARAM_VALUE 1 size 1052672
PARAM_VALUE 2 flags 16777728
PARAM_VALUE 3 desc 0

arch/x86/mm/init.c devmem_is_allowed() -> region_intersects()

Type Parameter Key Value
PARAM_VALUE 0 start 0,4096-18446744073709547520
PARAM_VALUE 1 size 4096
PARAM_VALUE 2 flags 16777728
PARAM_VALUE 3 desc 0
BIT_INFO 0 start 0x0,0xfffffffffffff000
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 start 0,4096-1000001536[c]
UNITS 1 size unit_byte

arch/x86/mm/ioremap.c memremap_should_map_decrypted() -> region_intersects()

Type Parameter Key Value
PARAM_VALUE 2 flags 512
PARAM_VALUE 3 desc 4
DATA_SOURCE 0 start $0
DATA_SOURCE 1 size $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 start 0-u64max
HOST_DATA 1 size 0-4503599627366400[c]
USER_DATA 0 start 0-u64max
USER_DATA 1 size 0-u64max
UNITS 0 start unit_byte
UNITS 1 size unit_byte

drivers/watchdog/wdat_wdt.c wdat_wdt_map_mem() -> region_intersects()

Type Parameter Key Value
PARAM_VALUE 2 flags 512
PARAM_VALUE 3 desc 3
DATA_SOURCE 1 size r resource_size
RX_PATH
TASK_NOT_RUNNING

drivers/firmware/google/coreboot_table.c coreboot_table_populate() -> region_intersects()

Type Parameter Key Value
PARAM_VALUE 2 flags 16777728
PARAM_VALUE 3 desc 0
RX_PATH
TASK_NOT_RUNNING

drivers/firmware/google/coreboot_table.c coreboot_table_populate() -> region_intersects()

Type Parameter Key Value
PARAM_VALUE 2 flags 512
PARAM_VALUE 3 desc 7
RX_PATH
TASK_NOT_RUNNING

drivers/infiniband/sw/rxe/rxe_mr.c is_pmem_page() -> region_intersects()

Type Parameter Key Value
PARAM_VALUE 0 start 0,4096-18446744073709547520
PARAM_VALUE 1 size 4096
PARAM_VALUE 2 flags 512
PARAM_VALUE 3 desc 4
BIT_INFO 0 start 0x0,0xfffffffffffff000
BIT_INFO 0 start 0x0,0xfffffffffffff000
RX_PATH
TASK_NOT_RUNNING
UNITS 1 size unit_byte

drivers/dax/hmem/hmem.c hmem_register_cxl_device() -> region_intersects()

Type Parameter Key Value
PARAM_VALUE 2 flags 512
PARAM_VALUE 3 desc 9
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &hmem_resource_lock
HALF_LOCKED2 &host->mutex

drivers/dax/hmem/hmem.c hmem_register_device() -> region_intersects()

Type Parameter Key Value
PARAM_VALUE 2 flags 512
PARAM_VALUE 3 desc 9
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &hmem_resource_lock
HALF_LOCKED2 &host->mutex

drivers/nvdimm/namespace_devs.c pmem_should_map_pages() -> region_intersects()

Type Parameter Key Value
PARAM_VALUE 2 flags 16777728
PARAM_VALUE 3 desc 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &of->mutex

drivers/acpi/nfit/core.c acpi_nfit_insert_resource() -> region_intersects()

Type Parameter Key Value
PARAM_VALUE 2 flags 512
PARAM_VALUE 3 desc 4
RX_PATH
TASK_NOT_RUNNING
LOCK2 &acpi_desc->init_mutex
LOCK2 _T->lock
TYPE_LOCK (struct acpi_nfit_desc)->init_mutex

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

Type Parameter Key Value
PARAM_VALUE 2 flags 16777728
PARAM_VALUE 3 desc 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &mdevice->devmem_lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 global &list_lock

kernel/iomem.c memremap() -> region_intersects()

Type Parameter Key Value
PARAM_VALUE 2 flags 16777728
PARAM_VALUE 3 desc 0
DATA_SOURCE 0 start $0
DATA_SOURCE 1 size $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 start 0-u64max
HOST_DATA 1 size 0,4096-4294963200,4294967296-4503599627366400[c]
USER_DATA 0 start 0-u64max
USER_DATA 1 size 0-u64max
UNITS 0 start unit_byte
UNITS 1 size unit_byte
HALF_LOCKED2 &card->mutex
HALF_LOCKED2 &core->lock
HALF_LOCKED2 &device->dev_set->lock
HALF_LOCKED2 &nvdev->remap_lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &dmar_global_lock

drivers/acpi/apei/einj-core.c is_allowed_range() -> region_intersects()

Type Parameter Key Value
PARAM_VALUE 2 flags 16777728
PARAM_VALUE 3 desc 0
CAPPED_DATA 0 start 1
CAPPED_DATA 0 start 1
DATA_SOURCE 0 start $0
DATA_SOURCE 1 size $1
LOCK2 &attr->mutex
TYPE_LOCK (struct simple_attr)->mutex

drivers/acpi/apei/einj-core.c is_allowed_range() -> region_intersects()

Type Parameter Key Value
PARAM_VALUE 2 flags 512
PARAM_VALUE 3 desc 0-s32max,18446744071562067968-u64max
CAPPED_DATA 0 start 1
CAPPED_DATA 0 start 1
DATA_SOURCE 0 start $0
DATA_SOURCE 1 size $1
LOCK2 &attr->mutex
TYPE_LOCK (struct simple_attr)->mutex