Open Menu /

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

kernel/resource_kunit.c resource_intersection() -> resource_overlaps()

Type Parameter Key Value
DATA_SOURCE 0 r1 $0
DATA_SOURCE 1 r2 $1

kernel/resource_kunit.c resource_union() -> resource_overlaps()

Type Parameter Key Value
DATA_SOURCE 0 r1 $0
DATA_SOURCE 1 r2 $1

drivers/memory/stm32_omm.c stm32_omm_set_amcr() -> resource_overlaps()

Type Parameter Key Value
PARAM_VALUE 0 r1 233833245245890560
PARAM_VALUE 0 r1->start 0-18446744073709551614
PARAM_VALUE 1 r2 6390430758912929792
RX_PATH
TASK_NOT_RUNNING

drivers/acpi/pci_root.c resource_union() -> resource_overlaps()

Type Parameter Key Value
PARAM_VALUE 0 r1 4096-ptr_max
PARAM_VALUE 0 r1->end 1-u64max
PARAM_VALUE 0 r1->start 0-18446744073709551614
PARAM_VALUE 1 r2 4096-ptr_max
CAPPED_DATA 0 r1->end 1
CAPPED_DATA 0 r1->start 1
DATA_SOURCE 0 r1 $0
DATA_SOURCE 1 r2 $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &acpi_scan_lock

drivers/cxl/acpi.c add_cxl_resources() -> resource_overlaps()

Type Parameter Key Value
PARAM_VALUE 0 r1 4096-ptr_max
PARAM_VALUE 1 r2 1-u64max
BUF_SIZE 0 r1 64
DATA_SOURCE 0 r1 r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING

drivers/cxl/acpi.c add_cxl_resources() -> resource_overlaps()

Type Parameter Key Value
PARAM_VALUE 0 r1 4096-ptr_max
PARAM_VALUE 1 r2 1-u64max
BUF_SIZE 0 r1 64
CAPPED_DATA 0 r1->start 1
DATA_SOURCE 0 r1 r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING

kernel/resource.c __region_intersects() -> resource_overlaps()

Type Parameter Key Value
PARAM_VALUE 0 r1 1-u64max
PARAM_VALUE 1 r2 6029618698667905024
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &hmem_resource_lock
HALF_LOCKED2 global &resource_lock

kernel/resource.c resource_intersection() -> resource_overlaps()

Type Parameter Key Value
PARAM_VALUE 0 r1 1-u64max
PARAM_VALUE 1 r2 6029618698667905024
DATA_SOURCE 0 r1 $0
DATA_SOURCE 1 r2 $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock
HALF_LOCKED2 global &hmem_resource_lock
HALF_LOCKED2 global &resource_lock

drivers/acpi/acpi_platform.c resource_union() -> resource_overlaps()

Type Parameter Key Value
DATA_SOURCE 0 r1 $0
DATA_SOURCE 1 r2 $1

drivers/pnp/quirks.c quirk_system_pci_resources() -> resource_overlaps()

Type Parameter Key Value
PARAM_VALUE 0 r1 4096-ptr_max
PARAM_VALUE 1 r2 4096-ptr_max
BUF_SIZE 0 r1 64
BUF_SIZE 1 r2 (-1),1088
BUF_SIZE 1 r2 (-1),1088
DATA_SOURCE 0 r1 r pnp_get_resource
BIT_INFO 1 r2->flags 0x0,0xffffffffdfffffff
RX_PATH
TASK_NOT_RUNNING

sound/soc/intel/catpt/loader.c resource_intersection() -> resource_overlaps()

Type Parameter Key Value
PARAM_VALUE 0 r1 1605433185625264128
PARAM_VALUE 0 r1->start 0-u32max
PARAM_VALUE 1 r2 1750955655650283520
DATA_SOURCE 0 r1 $0
DATA_SOURCE 1 r2 $1

drivers/acpi/acpi_watchdog.c resource_union() -> resource_overlaps()

Type Parameter Key Value
PARAM_VALUE 0 r1 4096-ptr_max
PARAM_VALUE 1 r2 8693528773257486336
CAPPED_DATA 0 r1->flags 1
DATA_SOURCE 0 r1 $0
DATA_SOURCE 1 r2 $1