Defined in 4 files as a function:
- arch/x86/mm/pat/set_memory.c, line 507 (as a function)
- drivers/block/drbd/drbd_receiver.c, line 2124 (as a function)
- drivers/gpu/buddy.c, line 230 (as a function)
- mm/usercopy.c, line 106 (as a function)
Referenced in 7 files:
- arch/powerpc/include/asm/task_size_32.h, line 8
- arch/x86/mm/pat/set_memory.c
- drivers/acpi/acpica/utxface.c
- drivers/block/drbd/drbd_receiver.c, line 2137
- drivers/gpu/buddy.c
- mm/usercopy.c
- tools/testing/selftests/mm/mremap_test.c
Smatch caller information:
mm/usercopy.c check_kernel_text_object() -> overlaps()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r1_start | 17-u64max |
| PARAM_VALUE | 1 | r1_end | 1-u64max |
| PARAM_VALUE | 2 | r2_start | 24158083983945728 |
| PARAM_VALUE | 3 | r2_end | 4975474871835320320 |
| CAPPED_DATA | 0 | r1_start | 1 |
| CAPPED_DATA | 0 | r1_start | 1 |
| CAPPED_DATA | 1 | r1_end | 1 |
| CAPPED_DATA | 1 | r1_end | 1 |
| DATA_SOURCE | 0 | r1_start | $0 |
| DATA_SOURCE | 1 | r1_end | $1 |
| NO_OVERFLOW_SIMPLE | 0 | r1_start | |
| UNITS | 1 | r1_end | unit_byte |
mm/usercopy.c check_kernel_text_object() -> overlaps()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r1_start | 17-u64max |
| PARAM_VALUE | 1 | r1_end | 1-u64max |
| PARAM_VALUE | 2 | r2_start | 0-24158083983945727,24158083983945729-u64max |
| CAPPED_DATA | 0 | r1_start | 1 |
| CAPPED_DATA | 0 | r1_start | 1 |
| CAPPED_DATA | 1 | r1_end | 1 |
| CAPPED_DATA | 1 | r1_end | 1 |
| DATA_SOURCE | 0 | r1_start | $0 |
| DATA_SOURCE | 1 | r1_end | $1 |
| NO_OVERFLOW_SIMPLE | 0 | r1_start | |
| UNITS | 1 | r1_end | unit_byte |
drivers/gpu/buddy.c __alloc_range() -> overlaps()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | r2_start | 0,4096-u64max |
| DATA_SOURCE | 0 | r1_start | $2 |
| DATA_SOURCE | 2 | r2_start | r gpu_buddy_block_offset |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | r1_start | 0-u64max[c] |
| NO_OVERFLOW_SIMPLE | 0 | r1_start | |
| UNITS | 0 | r1_start | unit_byte |
| UNITS | 1 | r1_end | unit_byte |
| HALF_LOCKED2 | &mgr->lock |
drivers/gpu/buddy.c __alloc_range_bias() -> overlaps()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r1_start | 0-18446744073709551614 |
| PARAM_VALUE | 2 | r2_start | 0,4096-u64max |
| CAPPED_DATA | 0 | r1_start | 1 |
| CAPPED_DATA | 0 | r1_start | 1 |
| DATA_SOURCE | 0 | r1_start | $1 |
| DATA_SOURCE | 2 | r2_start | r gpu_buddy_block_offset |
| PARAM_COMPARE | 1 | r1_end | < $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | r1_start | |
| NO_OVERFLOW_SIMPLE | 1 | r1_end | |
| UNITS | 0 | r1_start | unit_byte |
| UNITS | 1 | r1_end | unit_byte |
| HALF_LOCKED2 | &bman->lock | ||
| HALF_LOCKED2 | &manager->lock | ||
| HALF_LOCKED2 | &mgr->lock |
drivers/gpu/buddy.c gpu_buddy_allocated_addr_to_block() -> overlaps()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r1_start | 4190208,4194304,4194320,6291456 |
| PARAM_VALUE | 1 | r1_end | 4194303,4198399,4198415,6295551 |
| PARAM_VALUE | 2 | r2_start | 0,4096-u64max |
| DATA_SOURCE | 0 | r1_start | $1 |
| DATA_SOURCE | 2 | r2_start | r gpu_buddy_block_offset |
| FUZZY_MAX | 1 | r1_end | 6295551 |
| HARD_MAX | 0 | r1_start | 6291456 |
| HARD_MAX | 1 | r1_end | 6295551 |
| UNITS | 0 | r1_start | unit_byte |
| UNITS | 1 | r1_end | unit_byte |
drivers/block/drbd/drbd_receiver.c overlapping_resync_write() -> overlaps()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | <- disables preempt | ||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | r1_start | unit_byte |
| UNITS | 1 | r1_end | unit_byte |
| UNITS | 2 | r2_start | unit_byte |
| UNITS | 3 | r2_end | unit_byte |
| LOCK2 | &device->resource->req_lock | ||
| LOCK2 | irq | ||
| TYPE_LOCK | (struct drbd_resource)->req_lock |
arch/x86/mm/pat/set_memory.c protect_kernel_text() -> overlaps()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | r2_start | 6850088256125747200 |
| PARAM_VALUE | 3 | r2_end | 4975474871835320319 |
| DATA_SOURCE | 0 | r1_start | $0 |
| DATA_SOURCE | 1 | r1_end | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | r1_start | 0-u64max |
| UNITS | 0 | r1_start | unit_byte |
| UNITS | 1 | r1_end | unit_byte |
| HALF_LOCKED2 | global &cpa_lock | ||
| HALF_LOCKED2 | global &mem_enc_lock | ||
| HALF_LOCKED2 | global &pgd_lock |
arch/x86/mm/pat/set_memory.c protect_kernel_text_ro() -> overlaps()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | r2_start | 6850088256125747200 |
| PARAM_VALUE | 3 | r2_end | 5980557482474795007 |
| CAPPED_DATA | 0 | r1_start | 1 |
| CAPPED_DATA | 0 | r1_start | 1 |
| DATA_SOURCE | 0 | r1_start | $0 |
| DATA_SOURCE | 1 | r1_end | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | r1_start | 0-u64max[c] |
| UNITS | 0 | r1_start | unit_byte |
| UNITS | 1 | r1_end | unit_byte |
| HALF_LOCKED2 | global &cpa_lock | ||
| HALF_LOCKED2 | global &mem_enc_lock | ||
| HALF_LOCKED2 | global &pgd_lock |
arch/x86/mm/pat/set_memory.c protect_rodata() -> overlaps()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | r2_start | 0-4503599627370495 |
| PARAM_VALUE | 3 | r2_end | 0-4503599627370494,u64max |
| DATA_SOURCE | 0 | r1_start | $0 |
| DATA_SOURCE | 1 | r1_end | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | r1_start | unit_page |
| UNITS | 1 | r1_end | unit_page |
| HALF_LOCKED2 | global &cpa_lock | ||
| HALF_LOCKED2 | global &mem_enc_lock | ||
| HALF_LOCKED2 | global &pgd_lock |