Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/resource_kunit.c resource_do_intersection_test() -> resource_do_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | r | 7284315017415704576 |
| PARAM_VALUE | 4 | exp_r | 4096-ptr_max |
| PARAM_VALUE | 5 | r1 | 4096-ptr_max |
| PARAM_VALUE | 6 | r2 | 4096-ptr_max |
| CAPPED_DATA | 5 | r1->start | 1 |
| DATA_SOURCE | 0 | test | $0 |
| DATA_SOURCE | 1 | ret | r resource_intersection |
| MEM_ZERO | 2 | r | |
| NOCHECK_CALL |
kernel/resource_kunit.c resource_do_intersection_test() -> resource_do_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->last_seen.file | 4134127916102025216,8090938237943001088 |
| PARAM_VALUE | 0 | test->last_seen.line | 91,99 |
| PARAM_VALUE | 0 | test->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->log->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->status | 1 |
| PARAM_VALUE | 2 | r | 7284315017415704576 |
| PARAM_VALUE | 4 | exp_r | 4096-ptr_max |
| PARAM_VALUE | 5 | r1 | 4096-ptr_max |
| PARAM_VALUE | 6 | r2 | 4096-ptr_max |
| CAPPED_DATA | 5 | r1->start | 1 |
| CAPPED_DATA | 6 | r2->start | 1 |
| DATA_SOURCE | 0 | test | $0 |
| DATA_SOURCE | 1 | ret | r resource_intersection |
| MEM_ZERO | 2 | r | |
| NOCHECK_CALL |
kernel/resource_kunit.c resource_do_union_test() -> resource_do_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | r | 2336471560775565312 |
| PARAM_VALUE | 4 | exp_r | 4096-ptr_max |
| PARAM_VALUE | 5 | r1 | 4096-ptr_max |
| PARAM_VALUE | 6 | r2 | 4096-ptr_max |
| CAPPED_DATA | 5 | r1->start | 1 |
| DATA_SOURCE | 0 | test | $0 |
| DATA_SOURCE | 1 | ret | r resource_union |
| MEM_ZERO | 2 | r | |
| NOCHECK_CALL |
kernel/resource_kunit.c resource_do_union_test() -> resource_do_test()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->last_seen.file | 4134127916102025216,8090938237943001088 |
| PARAM_VALUE | 0 | test->last_seen.line | 91,99 |
| PARAM_VALUE | 0 | test->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->log->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | test->status | 1 |
| PARAM_VALUE | 2 | r | 2336471560775565312 |
| PARAM_VALUE | 4 | exp_r | 4096-ptr_max |
| PARAM_VALUE | 5 | r1 | 4096-ptr_max |
| PARAM_VALUE | 6 | r2 | 4096-ptr_max |
| CAPPED_DATA | 5 | r1->start | 1 |
| CAPPED_DATA | 6 | r2->start | 1 |
| DATA_SOURCE | 0 | test | $0 |
| DATA_SOURCE | 1 | ret | r resource_union |
| MEM_ZERO | 2 | r | |
| NOCHECK_CALL |