Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
kernel/resource_kunit.c resource_do_intersection_test() -> resource_intersection()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | r | 7284315017415704576 |
| MEM_ZERO | 2 | r |
kernel/resource_kunit.c resource_do_intersection_test() -> resource_intersection()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r1 | 4096-ptr_max |
| PARAM_VALUE | 1 | r2 | 4096-ptr_max |
| PARAM_VALUE | 2 | r | 7284315017415704576 |
| CAPPED_DATA | 1 | r2->start | 1 |
| MEM_ZERO | 2 | r |
kernel/resource.c __region_intersects() -> resource_intersection()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r1 | 1-u64max |
| PARAM_VALUE | 1 | r2 | 6029618698667905024 |
| PARAM_VALUE | 2 | r | 6288256668616228864 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &hmem_resource_lock | ||
| HALF_LOCKED2 | global &resource_lock |
sound/soc/intel/catpt/loader.c catpt_restore_dram_rodata() -> resource_intersection()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r1 | 1605433185625264128 |
| PARAM_VALUE | 0 | r1->start | 0-u32max |
| PARAM_VALUE | 1 | r2 | 1750955655650283520 |
| PARAM_VALUE | 2 | r | 5718985094572535808 |
| PARAM_VALUE | 2 | r->end | 0 |
| PARAM_VALUE | 2 | r->start | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |